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.

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