From 522629f534cf3bbb97d90c653ca632ed8a739270 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 9 Sep 2017 16:04:10 +0300
Subject: [PATCH] manage: restore our standard font size in the filter selector

---
 manage/manage.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/manage/manage.css b/manage/manage.css
index 762f7c45..fb450855 100644
--- a/manage/manage.css
+++ b/manage/manage.css
@@ -16,6 +16,10 @@ a:hover {
   color: #666;
 }
 
+select {
+  font-size: 12px;
+}
+
 #header {
   width: 280px;
   height: 100vh;