summaryrefslogtreecommitdiff
path: root/data/extensions/https-everywhere@eff.org/pages/base.css
diff options
context:
space:
mode:
authorClément Lassieur <clement@lassieur.org>2023-11-09 14:15:44 +0100
committerMark H Weaver <mhw@netris.org>2023-12-30 09:24:46 -0500
commitba0d2ab758143b9fe2ca14f6eed07d9a6a350c2b (patch)
tree0ecd8a30389110b49a8a1c1513332dbacfcb46f9 /data/extensions/https-everywhere@eff.org/pages/base.css
parentf889514426e512e5602c71e1b411ae0332a33366 (diff)
Migrate from HTTPS-Everywhere to Icecat's own HTTPS-Only Mode.
See <https://www.eff.org/https-everywhere>. Modified-By: Mark H Weaver <mhw@netris.org>.
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/base.css')
-rw-r--r--data/extensions/https-everywhere@eff.org/pages/base.css46
1 files changed, 0 insertions, 46 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/base.css b/data/extensions/https-everywhere@eff.org/pages/base.css
deleted file mode 100644
index 92adbf8..0000000
--- a/data/extensions/https-everywhere@eff.org/pages/base.css
+++ /dev/null
@@ -1,46 +0,0 @@
-:root {
- --https-blue: #0a84ff;
- --darker-blue: #0060df;
- --text-main: #000;
- --text-secondary: #464646;
- --light-grey: #ececec;
- --space: 5px;
- --font: 'Lucida Grande', 'Segoe UI', Tahoma, 'DejaVu Sans', Arial, sans-serif;
- --code-font: 'VeraMono';
-}
-
-/*--------------------------------------------------------------
-# Layout
---------------------------------------------------------------*/
-.grid {
- display: grid;
- grid-template-columns: 1fr 1fr 1fr;
- row-gap: 16px;
-}
-
-/*--------------------------------------------------------------
-# Typography
---------------------------------------------------------------*/
-.font {
- font-family: var(--font);
-}
-
-/*--------------------------------------------------------------
-# Elements
---------------------------------------------------------------*/
-.button {
- border: var(--https-blue) solid 1px;
- color: var(--text-main);
- display: block;
- font-size: 12px;
- font-weight: bold;
- margin: var(--space) auto;
- padding: 10px;
- text-align: center;
- text-decoration: none;
-}
-
-.button:hover {
- background-color: var(--darker-blue);
- color: #fff;
-}