diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-12 16:41:00 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-12 16:41:00 -0700 |
commit | c7b493dcc46ac800ace472a580d5430a1b0c2e41 (patch) | |
tree | 1ae2ea9ad7b84b07387d41c2b6ca6c4eccc4366a /src/js/fiveui/css/options.css | |
parent | 0decef2093c676d91b0b590a9b94f201c4995716 (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.css | 66 |
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; } |