diff 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
line wrap: on
line diff
--- a/doc/manual/manual.tex	Sun Mar 13 21:08:59 2016 +0100
+++ b/doc/manual/manual.tex	Sun Mar 13 21:49:16 2016 +0100
@@ -98,7 +98,7 @@
 \renewcommand{\paragraph}[1]{%
 	\par\vspace{12pt}%
 	\noindent%
-	{\bf#1}%
+	\textbf{#1}%
 	\par%
 	\vspace{6pt}%
 }%
@@ -156,7 +156,7 @@
 \lstset{basicstyle=\ttfamily}
 
 % text building blocks
-\newcommand{\group}[1]{{\it$<$#1$>$}}
+\newcommand{\group}[1]{\textit{$<$#1$>$}}
 \newcommand{\sigchar}[1]{'{\tt #1}'}
 \newcommand{\sigstr}[1]{"{\tt #1}"}
 \newcommand{\cenum}[1]{#1}