From 5cee038743e1e149226d5b0b1a68a782182a4e33 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 24 Dec 2018 23:05:35 +0300 Subject: Add filter to Build Configurations page --- www/build-configs-body.css | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) (limited to 'www') diff --git a/www/build-configs-body.css b/www/build-configs-body.css index 83bdf6e..af931bd 100644 --- a/www/build-configs-body.css +++ b/www/build-configs-body.css @@ -1,7 +1,12 @@ /* - * Config count. + * Class name. */ -#count +.class-name {white-space: nowrap;} + +/* + * Config filter and count. + */ +#filter-heading, #count { font-size: 1.32em; line-height: 1.4em; @@ -10,6 +15,16 @@ margin: 1.2em 0 0 0; } +#filter +{ + font-family: monospace; + font-size: 0.94em; + + text-align: left; +} + +#selected-class {font-weight: bold;} + /* * Config table. */ -- cgit v1.1