--- a/src/Doc/Datatypes/document/style.sty Mon Oct 12 19:41:10 2015 +0200
+++ b/src/Doc/Datatypes/document/style.sty Mon Oct 12 19:47:23 2015 +0200
@@ -27,18 +27,6 @@
\renewcommand{\endisatagquote}{\end{quote}}
\newcommand{\quotebreak}{\\[1.2ex]}
-%% typewriter text
-\newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
-\renewcommand{\isadigit}[1]{{##1}}%
-\parindent0pt%
-\makeatletter\isa@parindent0pt\makeatother%
-\isabellestyle{tt}\isastyle%
-\fontsize{9pt}{9pt}\selectfont}{}
-
-\isakeeptag{quotetypewriter}
-\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
-\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
-
%% presentation
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}