diff options
author | Stef Walter <stefw@collabora.co.uk> | 2011-03-31 14:27:56 +0200 |
---|---|---|
committer | Stef Walter <stefw@collabora.co.uk> | 2011-03-31 14:27:56 +0200 |
commit | 17ebc007ed0376bdea50294201a637be982d68b7 (patch) | |
tree | 2a8ea2322c91533cab136ec03659aec9063c9162 /doc | |
parent | 479cbd55ee5739d3cd2566379575451dbecf4c54 (diff) |
Fix up styling of documentation.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/p11-kit-docs.sgml | 2 | ||||
-rw-r--r-- | doc/style.css | 70 |
2 files changed, 71 insertions, 1 deletions
diff --git a/doc/p11-kit-docs.sgml b/doc/p11-kit-docs.sgml index 03fd582..d00cc36 100644 --- a/doc/p11-kit-docs.sgml +++ b/doc/p11-kit-docs.sgml @@ -7,7 +7,7 @@ ]> <book id="index"> <bookinfo> - <title>P11-Kit Manual</title> + <title>p11-kit</title> <releaseinfo>for p11-kit &version;</releaseinfo> </bookinfo> diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 0000000..859273f --- /dev/null +++ b/doc/style.css @@ -0,0 +1,70 @@ +@import url("gtk-doc.css"); + +TABLE.navigation { + background-color: #f9b631 !important; + border-width: 0 !important; + color: white; + font-family: Georgia, "Times New Roman", Times, serif; + height: 4em !important; +} + +TABLE.navigation TH { + font-size: 30pt !important; + font-weight: normal; + text-align: left !important; + padding-left: 10pt; +} + +TABLE.navigation TH:first-child { + padding-left: 40pt; +} + +.shortcuts { + color: white !important; +} + +.shortcuts a { + color: white !important; + font-family: Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif; +} + +P.title { + font-size: 30pt !important; +} + +BODY { + padding-top: 5.5em !important; +} + +DIV.book, +DIV.refentry, +DIV.chapter { + font-family: Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif; + font-size: 9.5pt; + line-height: 150%; +} + +DIV.variablelist TABLE { + font-size: 9.5pt; + line-height: 150%; +} + +DIV.refentry, +DIV.chapter { + margin-left: 3em; + margin-right: 1em; +} + +DIV.refsect2 { + margin-bottom: 3em !important; +} + +H2 { + position: relative; + left: -1em; + font-weight: normal !important; +} + +H3 { + font-weight: normal !important; +} |