smaller buttons on the history page

2007-10-25 14:38:10 +00:00
parent 1506f56f63
commit 4f890d63bb
1 changed files with 5 additions and 0 deletions
--- a/css/emacs.css
+++ b/css/emacs.css
@@ -185,6 +185,11 @@ table.history td[colspan="3"] {
 td.history {
    border-style:none;
 }
+table.history input[type="submit"] {
+    font-size: 70%;
+    padding: 0;
+    margin: 0 1ex;
+}
 table.user {
    border-style:solid;
    border-width:thin;