X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fprojects%2Fwipi.git;a=blobdiff_plain;f=static%2Fexodus%2Fcss%2Fcommon.css;h=ad7b89d87e80af0987ee1f1808e6a9317f4e90c7;hp=ce511fc43a26d19932a6d398b8d1f6ede9ad9bc1;hb=eabeb1ba9c789101478caee6146ab1a0760afed5;hpb=2e1bdb6d27facaddc73b9e0009f9b574ca5dcc8f

diff --git a/static/exodus/css/common.css b/static/exodus/css/common.css
index ce511fc..ad7b89d 100644
--- a/static/exodus/css/common.css
+++ b/static/exodus/css/common.css
@@ -456,5 +456,23 @@ TD.tip {
     text-align: right;
 }
 
+#menubar {
+	display: block;
+	margin-bottom: 60px;
+	margin-top: 30px;
+}
+
+#menubar li {
+	/* Hide the leading dots */
+	display: inline;
+	/* Put the menu items horizontal */
+	float: left;
+	/* Put some spacing between items */
+	padding: 0px 5px;
+	
+	font-size: +4pt;
+	font-weight: bold;
+}
+
 /* end MonthCalendar stuff */