Fix up styling of documentation.

1 files changed, 70 insertions, 0 deletions

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;
+}