Shuffle the layout around a bit again.

[matthijs/projects/wipi.git] / static / exodus / css / common.css

diff --git a/static/exodus/css/common.css b/static/exodus/css/common.css
index a1bff79a7121f8b62e1c71710f44bd45000cd6b2..54f68fcb6a39d2fc336871f63d3b2c8c40f31a26 100644 (file)
--- a/static/exodus/css/common.css
+++ b/static/exodus/css/common.css
@@ -153,10 +153,6 @@ td p {
     color: gray;
 }
 
-#pageinfo {
-    margin-top: 2em;
-}
-
 .seperator {
     color: gray;
 }
@@ -456,23 +452,5 @@ 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: 12pt;
-       font-weight: bold;
-}
-
 /* end MonthCalendar stuff */