--- 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}
--- 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}