increase sidebar width from 20 to 30 ex

This makes it big enough to fit a month calendar.

diff --git a/doc/style.css b/doc/style.css
index af0fc230cf53956aff3a136785c5d3bb8cdc95db..80b76b26c791687170c67a2b90982c73a96f7c00 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -230,7 +230,7 @@ div.recentchanges {
 
 .sidebar {
        line-height: 3ex;
-       width: 20ex;
+       width: 30ex;
        float: right;
        margin-left: 40px;
        margin-bottom: 40px;