doc-src/Classes/style.sty

--- a/doc-src/Classes/style.sty	Mon Sep 20 08:53:37 2010 +0200
+++ b/doc-src/Classes/style.sty	Mon Sep 20 09:19:13 2010 +0200
@@ -17,9 +17,6 @@
 %% typographic conventions
 \newcommand{\qt}[1]{``{#1}''}
 
-%% verbatim text
-\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
-
 %% quote environment
 \isakeeptag{quote}
 \renewenvironment{quote}