comparison doc/manual/manual.tex @ 73:8326c5ced916

- doc cleanup and html work
author cslag
date Sun, 13 Mar 2016 21:49:16 +0100
parents 2b89d8497aad
children b0cca984c740
comparison
equal deleted inserted replaced
72:2b89d8497aad 73:8326c5ced916
96 \newcommand{\ninetye}{\end{sideways}} 96 \newcommand{\ninetye}{\end{sideways}}
97 97
98 \renewcommand{\paragraph}[1]{% 98 \renewcommand{\paragraph}[1]{%
99 \par\vspace{12pt}% 99 \par\vspace{12pt}%
100 \noindent% 100 \noindent%
101 {\bf#1}% 101 \textbf{#1}%
102 \par% 102 \par%
103 \vspace{6pt}% 103 \vspace{6pt}%
104 }% 104 }%
105 105
106 % Set a watermark, but not when running htlatex 106 % Set a watermark, but not when running htlatex
154 \lstset{frame=tblr} 154 \lstset{frame=tblr}
155 \lstset{frameround=tttt} 155 \lstset{frameround=tttt}
156 \lstset{basicstyle=\ttfamily} 156 \lstset{basicstyle=\ttfamily}
157 157
158 % text building blocks 158 % text building blocks
159 \newcommand{\group}[1]{{\it$<$#1$>$}} 159 \newcommand{\group}[1]{\textit{$<$#1$>$}}
160 \newcommand{\sigchar}[1]{'{\tt #1}'} 160 \newcommand{\sigchar}[1]{'{\tt #1}'}
161 \newcommand{\sigstr}[1]{"{\tt #1}"} 161 \newcommand{\sigstr}[1]{"{\tt #1}"}
162 \newcommand{\cenum}[1]{#1} 162 \newcommand{\cenum}[1]{#1}
163 \newcommand{\product}[1]{\emph{#1}} 163 \newcommand{\product}[1]{\emph{#1}}
164 164