diff options
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. */ |