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, 0 insertions, 40 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 deleted file mode 100644 index e424c70..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css +++ /dev/null @@ -1,40 +0,0 @@ -.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; -} |