From 8cb99f475206738e14193ee9c22b659969b7a018 Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Fri, 1 Feb 2013 22:32:45 +0100
Subject: [PATCH] fix font size in input boxes

---
 style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/style.css b/style.css
index ea55cac9..dd54d899 100644
--- a/style.css
+++ b/style.css
@@ -211,6 +211,7 @@ input {
   height: 22px;
   line-height: 22px;
   padding: 0 4px;
+  font-size: 14px;
 }
 
 ::-webkit-input-placeholder {