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