make code blocks \small
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 15:37:44 +0000 (15:37 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 15:37:44 +0000 (15:37 +0000)
tools/verbatim.lex

index 32ab49a..bc60627 100644 (file)
@@ -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; }