From 4f890d63bb2cd2c8ae5a2f3dced52372e335b931 Mon Sep 17 00:00:00 2001
From: Alex Schroeder <alex@gnu.org>
Date: Thu, 25 Oct 2007 14:38:10 +0000
Subject: [PATCH] smaller buttons on the history page

---
 css/emacs.css | 5 +++++
 1 file changed, 5 insertions(+)

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;