diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/preamble.tex | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index 4a4ac98ee8..cb48a4b907 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex | |||
@@ -106,6 +106,8 @@ | |||
106 | \setlength{\belowrulesep}{0pt} | 106 | \setlength{\belowrulesep}{0pt} |
107 | \setlength{\aboverulesep}{0pt} | 107 | \setlength{\aboverulesep}{0pt} |
108 | }{} | 108 | }{} |
109 | \newcommand{\tblhdrstrut}{\rule[-1.3ex]{0mm}{4.0ex}} | ||
110 | |||
109 | 111 | ||
110 | %% \newenvironment{example} | 112 | %% \newenvironment{example} |
111 | %% {\stepcounter{example}\paragraph{Example \theexample:}} | 113 | %% {\stepcounter{example}\paragraph{Example \theexample:}} |
@@ -238,7 +240,7 @@ | |||
238 | } | 240 | } |
239 | \center | 241 | \center |
240 | \tabularx{#1}{#2}\toprule\rowcolor{tblhdrbgcolor} | 242 | \tabularx{#1}{#2}\toprule\rowcolor{tblhdrbgcolor} |
241 | \rule{0pt}{2.9ex}#3\\\midrule | 243 | \tblhdrstrut#3\\\midrule |
242 | }{% | 244 | }{% |
243 | \endtabularx | 245 | \endtabularx |
244 | } | 246 | } |
@@ -247,7 +249,7 @@ | |||
247 | 249 | ||
248 | 250 | ||
249 | % command to set the default table heading for button lists | 251 | % command to set the default table heading for button lists |
250 | \newcommand{\taghead}{\rule{0pt}{2.9ex}\textbf{Tag} & \textbf{Description} \\\midrule} | 252 | \newcommand{\taghead}{\tblhdrstrut\textbf{Tag} & \textbf{Description} \\\midrule} |
251 | 253 | ||
252 | % environment intended to be used with tag maps (for wps) | 254 | % environment intended to be used with tag maps (for wps) |
253 | % usage: \begin{tagmap}{caption}{label} Tag & Description \\ \end{tagmap} | 255 | % usage: \begin{tagmap}{caption}{label} Tag & Description \\ \end{tagmap} |
@@ -384,7 +386,7 @@ | |||
384 | % here is the table width defined for 2 columns | 386 | % here is the table width defined for 2 columns |
385 | \tabularx{.75\textwidth}{>{\raggedright\arraybackslash}p{.22\textwidth}X}\toprule\rowcolor{tblhdrbgcolor} | 387 | \tabularx{.75\textwidth}{>{\raggedright\arraybackslash}p{.22\textwidth}X}\toprule\rowcolor{tblhdrbgcolor} |
386 | } | 388 | } |
387 | \rule{0pt}{2.9ex}\btnhead | 389 | \tblhdrstrut\btnhead |
388 | }{% | 390 | }{% |
389 | \endtabularx | 391 | \endtabularx |
390 | } | 392 | } |