chiark / gitweb /
Style button as well. Consistent in IE and FF, a bit off in Safari.
[disorder] / templates / disorder.css
index ee3dfd515c1c32bac8cd72cc24723adf7e026f9d..3bc312d18f24a681869bd854115ebf9534689503 100644 (file)
@@ -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,8 +276,7 @@ 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
 }