diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2018-12-24 23:05:35 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-01-10 13:35:28 +0300 |
| commit | 5cee038743e1e149226d5b0b1a68a782182a4e33 (patch) | |
| tree | d9d4d96074c67184c6cbf1bfbb398af88067b2c9 /www | |
| parent | 080c6778e89029560a6daf00605ec212ef9f39ee (diff) | |
Add filter to Build Configurations page
Diffstat (limited to 'www')
| -rw-r--r-- | www/build-configs-body.css | 19 |
1 files changed, 17 insertions, 2 deletions
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. */ |