From 9583b3c36e9dd43775f19f412b4265fb546924f5 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 30 Apr 2010 15:37:44 +0000
Subject: [PATCH] make code blocks \small
---
tools/verbatim.lex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tools/verbatim.lex b/tools/verbatim.lex
index 32ab49a..bc60627 100644
--- a/tools/verbatim.lex
+++ b/tools/verbatim.lex
@@ -29,8 +29,8 @@ int yywrap (void) { return 1; }
<INVERB>\\ { printf ("{\\char'134}"); }
<INVERB>\{ { printf ("{\\char'173}"); }
<INVERB>\} { printf ("{\\char'175}"); }
-<NORM>{verb} { printf ("\\begin{verbatim}\n"); PUSH NORM; BEGIN VERB; }
-<VERB>{verb} { printf ("\\end{verbatim}\n"); POP; }
+<NORM>{verb} { printf ("{\\small\\begin{verbatim}\n"); PUSH NORM; BEGIN VERB; }
+<VERB>{verb} { printf ("\\end{verbatim}}\n"); POP; }
<NORM>\"\" { printf ("\""); }
<NORM>\"{sp} { printf ("\\mbox{$\\it ");
PUSH NORM; BEGIN MATH; }
--
GitLab