diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/local.mk | 3 | ||||
| -rw-r--r-- | doc/manual/style.css | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 7a2c36ccebc7..0a5353acd354 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -6,7 +6,8 @@ XSLTPROC = $(xsltproc) --nonet $(xmlflags) \ --param toc.section.depth 3 \ --param admon.style \'\' \ --param callout.graphics.extension \'.gif\' \ - --param contrib.inline.enabled 0 + --param contrib.inline.enabled 0 \ + --stringparam generate.toc "book toc" MANUAL_SRCS := $(call rwildcard, $(d), *.xml) diff --git a/doc/manual/style.css b/doc/manual/style.css index ac76a64bbb21..f805aeab076c 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -28,6 +28,11 @@ h2 /* chapters, appendices, subtitle */ font-size: 180%; } +div.part +{ + margin-top: 2em; +} + /* Extra space between chapters, appendices. */ div.chapter > div.titlepage h2, div.appendix > div.titlepage h2 { |