# HG changeset patch
# User haftmann
# Date 1285329823 -7200
# Node ID 810f98bd4eeac576cb9609d5d14155cafa5349c4
# Parent  b4cbc72a354cc8fef2b2b3bc109e49123d0a7c07
fixed small font size fore typewriter text

diff -r b4cbc72a354c -r 810f98bd4eea doc-src/Classes/style.sty
--- a/doc-src/Classes/style.sty	Fri Sep 24 11:56:24 2010 +0200
+++ b/doc-src/Classes/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}{}
 
 %% presentation
 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
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}