From 1de645a990174aae162bcacedd232e497dbc0e60 Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Tue, 6 Oct 2020 13:31:34 +0200 Subject: [PATCH] give filter field a bit more space --- src/ui/web/css/themes/element/theme.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/ui/web/css/themes/element/theme.css b/src/ui/web/css/themes/element/theme.css index a669d3f5..3e627eb7 100644 --- a/src/ui/web/css/themes/element/theme.css +++ b/src/ui/web/css/themes/element/theme.css @@ -143,6 +143,15 @@ button.styled { font-size: 1.5rem; } +.LeftPanel .filter { + border-bottom: 1px solid rgba(245, 245, 245, 0.90); +} + +.LeftPanel .filter input { + padding: 0.8em; + border: none; +} + .LeftPanel ul { padding: 0; margin: 0;