diff options
| -rw-r--r-- | doc/style.css | 9 |
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; } |