1 files changed, 33 insertions, 0 deletions
diff --git a/src/doc/style.css b/src/doc/style.css
new file mode 100644
index 0000000..efc669b
--- /dev/null
+++ b/src/doc/style.css
@@ -0,0 +1,33 @@
+#titlearea,
+address,
+a[href="namespaces.html"]
+{ display: none; }
+
+h2.groupheader { margin-top: revert; }
+
+dl {
+	padding: 4px 12px !important;
+	border-radius: 8px !important;
+	border: 0 !important;
+}
+dt {
+	margin-bottom: 0.5ex;
+}
+
+a:hover {
+	text-decoration: revert !important;
+	background: unset !important;
+}
+
+dl.section.see,
+dl.section.user {
+	padding: 0 !important;
+	border-radius: 0 !important;
+	margin-top: 0;
+}
+dl.section.see dt,
+dl.section.user dt {
+	font-size: 130%;
+	margin-bottom: 0.5ex;
+	margin-top: 1.5ex;
+}