Style button as well. Consistent in IE and FF, a bit off in Safari.

[disorder] / templates / disorder.css

diff --git a/templates/disorder.css b/templates/disorder.css
index 868bdeff84626f308fc94f88e845125ec4434362..3bc312d18f24a681869bd854115ebf9534689503 100644 (file)
--- a/templates/disorder.css
+++ b/templates/disorder.css
@@ -8,7 +8,7 @@ body {
   font-variant: normal
 }
 
-input {
+input,button {
   font-family: helvetica,sans-serif;
   font-weight: normal;
   font-size: 12pt;
@@ -181,9 +181,13 @@ div.filesdirectories p.all {
 
 /* buttons *******************************************************************/
 
+form.button {
+  display: inline
+}
+
 /* Buttons and links that look like buttons share the same formatting */
-button,a.button {
-  padding: 1px;
+a.button {
+  padding-top: 2px;
   border-width: 3px;
   border-color: #fefefe;       /* Off-white */
   border-style: inset;
@@ -193,7 +197,13 @@ button,a.button {
   font-family: helvetica,sans-serif;
   font-weight: normal;
   font-variant: normal;
-  font-size: 12pt
+  font-size: 12pt;
+  cursor: pointer
+}
+
+a.button {
+  padding-left: 4px;
+  padding-right: 4px;
 }
 
 a.button:active,button:active {
@@ -239,6 +249,10 @@ form.search {
   padding: 0.2em
 }
 
+form.search p {
+  display: inline
+}
+
 /* menu bar *******************************************************************/
 
 div.top {
@@ -262,24 +276,24 @@ p.menubar {
 /* Subelements are A for usable menus or SPAN for unusable ones */
 p.menubar a, p.menubar span {
   font-family: helvetica,sans-serif;
-  font-weight: bold;
-  font-size: 14pt;
+  font-size: 24px;
   text-decoration: none;
   padding: 4px
 }
 
 /* a.activemenu is the current menu item */
-a.activemenu {
-  background-color: black;
-  color: white;
-  padding: 4px
+img.activemenu, a.activemenu {
+  background-color: #d0d0d0;
+  color: black;
+  padding: 4px;
+  border: none
 }
 
 /* a.inactivemenu is a non-current but choosable menu item */
-a.inactivemenu {
+img.inactivemenu, a.inactivemenu {
   color: black;
   padding:4px;
-  margin: 0px
+  border:none 
 }
 
 /* span.invaliemenu is a non-choosable menu item */