sidebar styling improvements

Added a visible border; tuned down the whitespace/borders.

Note the use of the -1 pixel margin-top -- this makes the sidebar appear
to hang down from the line under the actions at the top of the page.

diff --git a/doc/style.css b/doc/style.css
index 80b76b26c791687170c67a2b90982c73a96f7c00..bdd4bb4666faca9bbc74bb785f3c35778b2ed4a5 100644 (file)
--- 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;
 }