diff options
author | hackademix | 2019-03-14 01:57:58 +0100 |
---|---|---|
committer | hackademix | 2019-03-14 01:57:58 +0100 |
commit | d1dd278a81444e2203945fc213a4b69ed1ee49a7 (patch) | |
tree | 8d5324bfd690debdec3f126c68dd376991c94b25 /src/ui/options.css | |
parent | 3f2453053bd40102d9bc4eddd5f24759477cca43 (diff) | |
download | noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.tar.gz noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.tar.xz noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.zip |
Selective handling of Tor Browser options and work-around for https://bugzilla.mozilla.org/show_bug.cgi?id=1532530
Diffstat (limited to 'src/ui/options.css')
-rw-r--r-- | src/ui/options.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ui/options.css b/src/ui/options.css index f7db24b..6e6eec7 100644 --- a/src/ui/options.css +++ b/src/ui/options.css @@ -136,9 +136,19 @@ input[type="file"] { .opt-group { padding: 0.5em 0; } + #xssFaq { padding: 0.5em 1em; } + +#tb-options { + display: none; +} + +.tor #tb-options { + display: initial; +} + #clearclick-options { display: none; } |