aboutsummaryrefslogtreecommitdiff
path: root/www
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-12-24 23:05:35 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-01-10 13:35:28 +0300
commit5cee038743e1e149226d5b0b1a68a782182a4e33 (patch)
treed9d4d96074c67184c6cbf1bfbb398af88067b2c9 /www
parent080c6778e89029560a6daf00605ec212ef9f39ee (diff)
Add filter to Build Configurations page
Diffstat (limited to 'www')
-rw-r--r--www/build-configs-body.css19
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.
*/