summaryrefslogtreecommitdiff
path: root/doc/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css20
1 files changed, 16 insertions, 4 deletions
diff --git a/doc/style.css b/doc/style.css
index e6512aed8..4770fc942 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -24,6 +24,10 @@
padding: 6px;
list-style-type: none;
}
+.actions li {
+ display: inline;
+ padding: .2em .4em;
+}
.pageheader .actions ul {
border-bottom: 1px solid #000;
}
@@ -32,14 +36,22 @@
border-bottom: 0;
}
-div.inlinecontent {
- margin-top: .4em;
+#otherlanguages ul {
+ margin: 0;
+ padding: 6px;
+ list-style-type: none;
}
-
-.actions li {
+#otherlanguages li {
display: inline;
padding: .2em .4em;
}
+.pageheader #otherlanguages {
+ border-bottom: 1px solid #000;
+}
+
+div.inlinecontent {
+ margin-top: .4em;
+}
.pagefooter {
clear: both;