
diff -r b4cbc72a354c -r 810f98bd4eea doc-src/Codegen/style.sty
--- a/doc-src/Codegen/style.sty	Fri Sep 24 11:56:24 2010 +0200
+++ b/doc-src/Codegen/style.sty	Fri Sep 24 14:03:43 2010 +0200
@@ -30,8 +30,8 @@
 %% typewriter text
 \newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}%
 \parindent0pt%
-\fontsize{9pt}{0pt}%
-\isabellestyle{tt}\isastyle}{}
+\isabellestyle{tt}\isastyle%
+\fontsize{9pt}{9pt}\selectfont}{}
 
 \isakeeptag{quotett}
 \renewcommand{\isatagquotett}{\begin{quote}\isabellestyle{tt}\isastyle}




