CSS: Make sure DejaVu Sans 13px is used everywhere

ffdnispdb/static/css/style.css

@@ -80,6 +80,18 @@ html, body {
     font-style: normal;
 }
 
+input, button, select, textarea {
+    font-family: 'DejaVu Sans';
+}
+
+label, input, button, select, textarea, input[type="text"], input[type="password"],
+input[type="datetime"], input[type="datetime-local"], input[type="date"],
+input[type="month"], input[type="time"], input[type="week"], input[type="number"],
+input[type="email"], input[type="url"], input[type="search"], input[type="tel"],
+input[type="color"], .uneditable-input {
+    font-size: 13px;
+}
+
 h1 {
     font-size: 34px;
 }