chiark / gitweb /
Style button as well. Consistent in IE and FF, a bit off in Safari.
[disorder] / templates / disorder.css
index de41ea92eccb3b64804eed15a305e08055ac0efb..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 {