diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:39:48 -0400 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 21:02:13 -0400 |
commit | d26b319fd6f98517cc3421f10bf18698b953e4d2 (patch) | |
tree | bc70c4e472a2eaf514d411dba5067d530e5bbea9 /data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css | |
parent | c3b304c51a3386ea09527a479a883253ea35243a (diff) |
Updated extensions list for v60
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; +} |