diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/preamble.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index cb48a4b907..1e3ccce95a 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex @@ -103,8 +103,8 @@ \newcounter{example}[chapter] \ifpdfoutput{% - \setlength{\belowrulesep}{0pt} - \setlength{\aboverulesep}{0pt} + \renewcommand{\toprule}{\specialrule{\heavyrulewidth}{\abovetopsep}{0pt}} + \renewcommand{\midrule}{\specialrule{\lightrulewidth}{0pt}{\belowrulesep}} }{} \newcommand{\tblhdrstrut}{\rule[-1.3ex]{0mm}{4.0ex}} |