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 a1697c150ce335433f9ca2bffdcb6b5ea584e74a..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;
@@ -60,19 +60,19 @@ table {
 
 /* playing, recent and new classes correspond to the tables in playing.html,
  * recent.html and new.html */
-table.playing, table.recent, table.new {
+table.playing, table.recent, table.new, table.search {
   width: 100%                          /* use full screen width */
 }
 
-table.playing th, table.recent th, table.new th {
+table.playing th, table.recent th, table.new th, table.search th {
   text-align: left             /* titles should be left-aligned */
 }
 
-table.playing td, table.recent td, table.new td {
+table.playing td, table.recent td, table.new td, table.search td {
   vertical-align: middle        /* centre cell contents vertically */
 }
 
-table.playing a, table.recent a, table.new a {
+table.playing a, table.recent a, table.new a, table.search a {
   color: black
 }
 
@@ -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,29 +249,51 @@ form.search {
   padding: 0.2em
 }
 
+form.search p {
+  display: inline
+}
+
 /* menu bar *******************************************************************/
 
+div.top {
+  background-color: #e0e0e0;
+  border: 1px solid black
+}
+
+div.logo {
+  float:right;
+  margin-top:4px;
+  margin-right:4px
+}
+
 /* p.menubar is the menu bar at the top */
 p.menubar {
-  word-spacing: 1em            /* Space out menu items */
+  float:left;
+  margin-left: 4px;
+  word-spacing: 0px
 }
 
 /* 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;
-  text-decoration: none
+  font-size: 24px;
+  text-decoration: none;
+  padding: 4px
 }
 
 /* a.activemenu is the current menu item */
-a.activemenu {
-  color: red;
+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 {
-  color: black
+img.inactivemenu, a.inactivemenu {
+  color: black;
+  padding:4px;
+  border:none 
 }
 
 /* span.invaliemenu is a non-choosable menu item */
@@ -297,6 +329,20 @@ table.prefs input {
   font-family: monospace
 }
 
+/* text with sectiosn *******************************************************/
+
+/* h2.sectiontitle is used for subsection headings */
+h2.sectiontitle {
+  background-color: #e0ffe0;   /* Black on pastel green */
+  color: black;
+  padding: 0.2em
+}
+
+/* There is a div.section for each subsection */
+div.section {
+  margin-left: 1em
+}
+
 /* help **********************************************************************/
 
 /* table.helpbuttons is used for various tables of buttons */
@@ -309,18 +355,6 @@ table.helpbuttons {
   margin-right: 2em
 }
 
-/* h2.helptitle is used for help subsection headings */
-h2.helptitle {
-  background-color: #e0ffe0;   /* Black on pastel green */
-  color: black;
-  padding: 0.2em
-}
-
-/* There is a div.helpsection for each subsection */
-div.helpsection {
-  margin-left: 1em
-}
-
 /* span.configuration marks configuration directives */
 span.configuration {
   font-family: monospace