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