summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/style.css9
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/style.css b/doc/style.css
index 80b76b26c..bdd4bb466 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -229,13 +229,14 @@ div.recentchanges {
.biggestPC { font-size: 130%; }
.sidebar {
- line-height: 3ex;
width: 30ex;
float: right;
- margin-left: 40px;
- margin-bottom: 40px;
- padding: 2ex 2ex;
+ margin-left: 4px;
+ margin-bottom: 4px;
+ margin-top: -1px;
+ padding: 0ex 2ex;
background: white;
+ border: 2px solid black;
color: black !important;
}