Filter timeline by script

2015-02-13 16:32:58 +01:00
parent 839bfd4756
commit f63fa9faf2
4 changed files with 74 additions and 5 deletions
@@ -2,6 +2,19 @@
 .execution {
  text-align: center;
 }
+.selectScript {
+  padding-bottom: 2em;
+  font-size: 0.9em;
+}
+.selectScript select {
+  max-width: 30em;
+}
+.selectScript.empty {
+  font-size: 0.8em;
+}
+.selectScript.empty select {
+  width: 10em;
+}
 .timeline {
  margin: 2em 0 5em;
 }