summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorStef Walter <stefw@collabora.co.uk>2011-03-31 14:27:56 +0200
committerStef Walter <stefw@collabora.co.uk>2011-03-31 14:27:56 +0200
commit17ebc007ed0376bdea50294201a637be982d68b7 (patch)
tree2a8ea2322c91533cab136ec03659aec9063c9162 /doc
parent479cbd55ee5739d3cd2566379575451dbecf4c54 (diff)
Fix up styling of documentation.
Diffstat (limited to 'doc')
-rw-r--r--doc/p11-kit-docs.sgml2
-rw-r--r--doc/style.css70
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;
+}