From 544c6df3ab1e331c6b6779b76ad33180a06b0b4d Mon Sep 17 00:00:00 2001 From: Wojtek Kosior Date: Mon, 30 Aug 2021 11:54:47 +0200 Subject: add styling for options page\n\nThis does not include styling for contents of the import popup --- html/base.css | 22 +++ html/options.html | 463 ++++++++++++++++++++++++++++++++++++--------------- html/options_main.js | 55 ++++-- 3 files changed, 390 insertions(+), 150 deletions(-) (limited to 'html') diff --git a/html/base.css b/html/base.css index 2256833..91fd953 100644 --- a/html/base.css +++ b/html/base.css @@ -6,6 +6,14 @@ * Redistribution terms are gathered in the `copyright' file. */ +html { + font-family: sans-serif; +} + +textarea { + font-family: monospace; +} + input[type="checkbox"], input[type="radio"], .hide { display: none; } @@ -32,6 +40,8 @@ button, .button { display: inline-block; padding: 6px 12px; margin: 2px 0px; + -moz-user-select: none; + user-select: none; } button.slimbutton, .button.slimbutton { @@ -42,3 +52,15 @@ button.slimbutton, .button.slimbutton { button:hover, .button:hover { box-shadow: 0 6px 8px 0 rgba(0,0,0,0.24), 0 17px 50px 0 rgba(0,0,0,0.19); } + +aside { + background: #3f8dc6; + margin: 5px 0; + padding: 0.3em 1em; + border-radius: 3px; + color: #fff; +} + +textarea: { + resize: none; +} diff --git a/html/options.html b/html/options.html index e7dc3aa..e0c3c23 100644 --- a/html/options.html +++ b/html/options.html @@ -1,7 +1,6 @@ @@ -11,23 +10,11 @@