diff options
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css')
-rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css new file mode 100644 index 0000000..e424c70 --- /dev/null +++ b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css @@ -0,0 +1,40 @@ +.cm-s-main{ + width: 100%; + height: 500px; +} + +.cm-s-saved{ + border: 1px solid black; +} + +.cm-s-unsaved{ + border: 1px solid red; +} + +.section-explainer{ + margin-bottom: 5px; +} + +.section-header{ + margin-bottom: 10px; +} + +.section-header-span{ + border-bottom: 1px solid #ccc; + font-size: 15px; +} + +#saved-text{ + display: none; + color: green; + font-weight: bold; + margin: 30px; +} + +#unsaved-text{ + font-weight: bold; + margin: 10px 0px; + color: red; + visibility: hidden; + text-align: center; +} |