summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/style.css9
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index e6512aed8..4fa48b140 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -32,6 +32,15 @@
border-bottom: 0;
}
+#otherlanguages ul {
+ margin: 0;
+ padding: 6px;
+ list-style-type: none;
+}
+.pageheader #otherlanguages {
+ border-bottom: 1px solid #000;
+}
+
div.inlinecontent {
margin-top: .4em;
}