diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ReferenceManual.pdf | bin | 1170814 -> 1203909 bytes | |||
| -rw-r--r-- | doc/latex/cactus.sty | 13 |
2 files changed, 12 insertions, 1 deletions
diff --git a/doc/ReferenceManual.pdf b/doc/ReferenceManual.pdf Binary files differindex f79d6312..8d4cc5cc 100644 --- a/doc/ReferenceManual.pdf +++ b/doc/ReferenceManual.pdf diff --git a/doc/latex/cactus.sty b/doc/latex/cactus.sty index fe7190a6..08c31c6b 100644 --- a/doc/latex/cactus.sty +++ b/doc/latex/cactus.sty @@ -249,6 +249,7 @@ \newenvironment{FunctionDescription}[1] { \newpage +\phantomsection \noindent{\tt #1} \vskip1mm \hrule @@ -366,6 +367,16 @@ padding: 4px 10px; } } +\Css{ div.functiondescription h3.likesectionHead { + border: 0; + margin: 0; + padding: 0; +} +} +\Css{ div.functiondescription p.noindent { + display: none; +} +} \Css{ div.functiondescriptioncontent { padding: 0px 10px; } @@ -392,7 +403,7 @@ } \HCode{<div class="functiondescription">} -{\bf #1} +\section*{\bf #1} \HCode{</div>} \HCode{<div class="functiondescriptioncontent">} |