diff options
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r-- | manual/preamble.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index e03b776d8f..ffdaacc8ed 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex @@ -266,3 +266,8 @@ section \ref{#1} (page \pageref{#1}) }} {\newcommand{\reference}[1]{section \ref{#1}}} + +% special HTML output adjustments +\ifpdfoutput{}{\setlength{\parindent}{0mm}} +\ifpdfoutput{}{\renewcommand{\Forward}[1]{$\triangleright${}#1}} + |