diff options
Diffstat (limited to 'doc/latex')
| -rw-r--r-- | doc/latex/cactus.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/latex/cactus.sty b/doc/latex/cactus.sty index 604224c1..76d876ba 100644 --- a/doc/latex/cactus.sty +++ b/doc/latex/cactus.sty @@ -203,7 +203,7 @@ \newenvironment{FunctionDescription}[1] { \newpage -\noindent{\t #1} +\noindent{\tt #1} \vskip1mm \hrule \vskip3mm |