aboutsummaryrefslogtreecommitdiff
path: root/src/js/fiveui/css/options.css
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-12 16:41:00 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-12 16:41:00 -0700
commitc7b493dcc46ac800ace472a580d5430a1b0c2e41 (patch)
tree1ae2ea9ad7b84b07387d41c2b6ca6c4eccc4366a /src/js/fiveui/css/options.css
parent0decef2093c676d91b0b590a9b94f201c4995716 (diff)
Group url patterns with rule set definitions
Diffstat (limited to 'src/js/fiveui/css/options.css')
-rw-r--r--src/js/fiveui/css/options.css66
1 files changed, 64 insertions, 2 deletions
diff --git a/src/js/fiveui/css/options.css b/src/js/fiveui/css/options.css
index efa4986..65540e2 100644
--- a/src/js/fiveui/css/options.css
+++ b/src/js/fiveui/css/options.css
@@ -135,6 +135,68 @@ div.title {
float: left;
}
-.buttons {
- display: inline;
+.control .label {
+ color: #b2b2b2;
+ font-weight: italic;
+}
+
+.control button {
+ font-weight: normal;
+ font-size: 0.75em;
+}
+
+
+ul.entries {
+ list-style: none;
+ padding-left: 2px;
+}
+
+ul.entries li.entry {
+ border: 1px solid #CDCDCD;
+ margin-top: 5px;
+ padding: 10px;
+ background-color: #f0f0f0;
+}
+
+li.entry .error {
+ margin-top: 10px;
+ padding: 10px;
+ background-color: #FF4D4D;
+ color: #ffffff;
+}
+
+li.entry button {
+ padding: 0px;
+ font-size: 0.6em;
+}
+
+li.entry .editable {
+ padding: 5px;
+ border: 1px solid #CDCDCD;
+}
+
+li.entry .placeholder {
+ font-style: italic;
+ color: #CDCDCD;
+}
+
+
+
+
+li.entry div.pattern-control {
+ padding-top: 10px;
+}
+
+ul.patterns {
+ list-style: none;
+ padding: 0.5em;
+ padding-left: 0.5em;
+}
+
+ul.patterns li {
+ padding-top: 5px;
+}
+
+li.entry div.pattern-input {
+ margin: 2px;
}