diff options
Diffstat (limited to 'doc/headers.tex')
| -rw-r--r-- | doc/headers.tex | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/doc/headers.tex b/doc/headers.tex index 11664861f1..02b1e7e5cd 100644 --- a/doc/headers.tex +++ b/doc/headers.tex @@ -15,14 +15,8 @@ \lfoot[{\coqfooter}]{} \rfoot[]{{\coqfooter}} -\newcommand{\setheaders}[1]{ -\rhead[\fancyplain{}{\textbf{#1}}]{\fancyplain{}{\thepage}} -\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\textbf{#1}}} -} -\newcommand{\defaultheaders}{ -\rhead[\fancyplain{}{\leftmark}]{\fancyplain{}{\thepage}} -\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\rightmark}} -} +\newcommand{\setheaders}[1]{\rhead[\fancyplain{}{\textbf{#1}}]{\fancyplain{}{\thepage}}\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\textbf{#1}}}} +\newcommand{\defaultheaders}{\rhead[\fancyplain{}{\leftmark}]{\fancyplain{}{\thepage}}\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\rightmark}}} \renewcommand{\chaptermark}[1]{\markboth{{\bf \thechapter~#1}}{}} \renewcommand{\sectionmark}[1]{\markright{\thesection~#1}} |