diff --git a/css/emacs.css b/css/emacs.css
index 317f1c19..a05dc0a1 100644
--- 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;