From dfc4ab81aae1a85c52124794c1df5dbc7b421647 Mon Sep 17 00:00:00 2001 From: Zaid Abdulla Date: Tue, 1 Sep 2020 04:15:02 -0700 Subject: [PATCH] Increase width of filter input --- ui/css/app.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ui/css/app.css b/ui/css/app.css index be35a99..3aed23e 100644 --- a/ui/css/app.css +++ b/ui/css/app.css @@ -460,7 +460,7 @@ input { margin-bottom: 0.5em; & > input { font-size: 90%; - width: 30em; + width: 35em; margin: 2px; padding: 2px; } @@ -562,7 +562,7 @@ span.na { font-family: monospace; margin-bottom: 2px; padding: 4px; - width: 600px; + width: 700px; } & > .parameter-list {