diff options
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r-- | manual/preamble.tex | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index bbd73f8ec1..fa2ef73ae8 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex | |||
@@ -102,6 +102,9 @@ | |||
102 | \setlength{\headheight}{18.5pt} | 102 | \setlength{\headheight}{18.5pt} |
103 | \newcounter{example}[chapter] | 103 | \newcounter{example}[chapter] |
104 | 104 | ||
105 | \setlength{\belowrulesep}{0pt} | ||
106 | \setlength{\aboverulesep}{0pt} | ||
107 | |||
105 | %% \newenvironment{example} | 108 | %% \newenvironment{example} |
106 | %% {\stepcounter{example}\paragraph{Example \theexample:}} | 109 | %% {\stepcounter{example}\paragraph{Example \theexample:}} |
107 | %% {\hfill$\Box$ | 110 | %% {\hfill$\Box$ |
@@ -233,7 +236,7 @@ | |||
233 | } | 236 | } |
234 | \center | 237 | \center |
235 | \tabularx{#1}{#2}\toprule\rowcolor{tblhdrbgcolor} | 238 | \tabularx{#1}{#2}\toprule\rowcolor{tblhdrbgcolor} |
236 | #3\\\midrule | 239 | \rule{0pt}{2.9ex}#3\\\midrule |
237 | }{% | 240 | }{% |
238 | \endtabularx | 241 | \endtabularx |
239 | } | 242 | } |
@@ -242,7 +245,7 @@ | |||
242 | 245 | ||
243 | 246 | ||
244 | % command to set the default table heading for button lists | 247 | % command to set the default table heading for button lists |
245 | \newcommand{\taghead}{\textbf{Tag} & \textbf{Description} \\\midrule} | 248 | \newcommand{\taghead}{\rule{0pt}{2.9ex}\textbf{Tag} & \textbf{Description} \\\midrule} |
246 | 249 | ||
247 | % environment intended to be used with tag maps (for wps) | 250 | % environment intended to be used with tag maps (for wps) |
248 | % usage: \begin{tagmap}{caption}{label} Tag & Description \\ \end{tagmap} | 251 | % usage: \begin{tagmap}{caption}{label} Tag & Description \\ \end{tagmap} |
@@ -379,7 +382,7 @@ | |||
379 | % here is the table width defined for 2 columns | 382 | % here is the table width defined for 2 columns |
380 | \tabularx{.75\textwidth}{>{\raggedright\arraybackslash}p{.22\textwidth}X}\toprule\rowcolor{tblhdrbgcolor} | 383 | \tabularx{.75\textwidth}{>{\raggedright\arraybackslash}p{.22\textwidth}X}\toprule\rowcolor{tblhdrbgcolor} |
381 | } | 384 | } |
382 | \btnhead | 385 | \rule{0pt}{2.9ex}\btnhead |
383 | }{% | 386 | }{% |
384 | \endtabularx | 387 | \endtabularx |
385 | } | 388 | } |