# HG changeset patch
# User haftmann
# Date 1285597177 -7200
# Node ID 4e586b734facc55efa2f03da6b18f8e365773295
# Parent  7aef0e4a3aac442a00eb19681a357ef2ce153f8b
combine quote and typewriter tag; typewriter considers isa@parindent

diff -r 7aef0e4a3aac -r 4e586b734fac doc-src/Classes/style.sty
--- a/doc-src/Classes/style.sty	Mon Sep 27 16:19:36 2010 +0200
+++ b/doc-src/Classes/style.sty	Mon Sep 27 16:19:37 2010 +0200
@@ -28,14 +28,16 @@
 \newcommand{\quotebreak}{\\[1.2ex]}
 
 %% typewriter text
-\isakeeptag{typewriter}
 \newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
 \renewcommand{\isadigit}[1]{{##1}}%
 \parindent0pt%
+\makeatletter\isa@parindent0pt\makeatother%
 \isabellestyle{tt}\isastyle%
 \fontsize{9pt}{9pt}\selectfont}{}
-\renewcommand{\isatagtypewriter}{\begin{typewriter}}
-\renewcommand{\endisatagtypewriter}{\end{typewriter}}
+
+\isakeeptag{quotetypewriter}
+\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
+\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
 
 %% presentation
 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}