X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/e7ce7665fd98a41e5b2c76643a58cdbc053ed41a..d9af6e214c3e20093cdabe69b4c6882ade733868:/templates/disorder.css

diff --git a/templates/disorder.css b/templates/disorder.css
index 5782975..3bc312d 100644
--- 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,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