From 0860d4352635056cd92d17acef750522c07eed6b Mon Sep 17 00:00:00 2001 From: RealStickman Date: Fri, 16 Dec 2022 11:27:25 +0100 Subject: [PATCH] Remove code block style changes. Autoformatting with prettier --- themes/learn2-dark/css/custom.css | 70 ++++++++++++++++++------------- 1 file changed, 42 insertions(+), 28 deletions(-) diff --git a/themes/learn2-dark/css/custom.css b/themes/learn2-dark/css/custom.css index 4f0ce5f..c2b9323 100644 --- a/themes/learn2-dark/css/custom.css +++ b/themes/learn2-dark/css/custom.css @@ -10,63 +10,63 @@ Put your custom CSS in this file. /* search box placeholder text */ #sidebar #header .searchbox input::placeholder { - color: rgba(200, 200, 200, 0.8); - opacity: 1; /* something firefox fix */ + color: rgba(200, 200, 200, 0.8); + opacity: 1; /* something firefox fix */ } /* very thin bar between last topic and clear history */ #sidebar hr { - border-bottom: 1px solid #47314f + border-bottom: 1px solid #47314f; } /* code blocks */ +/* pre[class*="language-"] { background: #222222 !important; border: 1px solid #555555 !important; } code[class*="language-"] { - background: #222222 !important; + background: #222222 !important; } pre code { - /*color: #b51c42;*/ - color: #c897d8 !important; - /* this padding fixes indent on first line for codeblocks */ - padding: 0 !important; + //color: #b51c42; + color: #c897d8 !important; + // this padding fixes indent on first line for codeblocks + padding: 0 !important; } pre .copy-to-clipboard { - background-color: #111111 !important; - /* - to revert the fix for "copy" button - margin-top: 0; - */ + background-color: #111111 !important; + // to revert the fix for "copy" button + // margin-top: 0; } pre .copy-to-clipboard:hover { - background-color: #333333 !important; + background-color: #333333 !important; } +*/ /* inline code */ code { - /*color: #b51c42;*/ - color: #c897d8; - background: #222222; + /*color: #b51c42;*/ + color: #c897d8; + background: #222222; } .copy-to-clipboard { - background-color: #111111; - background-image: url(../images/clippy-white.svg); - /* + background-color: #111111; + background-image: url(../images/clippy-white.svg); + /* makes "copy" button fit slightly better imo FIXME this breaks chromium margin-top: .2rem; */ } .copy-to-clipboard:hover { - background-color: #333333; + background-color: #333333; } /* Sidebar currently selected main topic */ #sidebar ul li.active > a { - background: #111111; - color: #dddddd !important; + background: #111111; + color: #dddddd !important; } /* HACK hide checkmark icons */ @@ -75,13 +75,27 @@ code { }*/ /* outline around search bar when clicked */ -textarea:focus, input[type="email"]:focus, input[type="number"]:focus, input[type="password"]:focus, input[type="search"]:focus, input[type="tel"]:focus, input[type="text"]:focus, input[type="url"]:focus, input[type="color"]:focus, input[type="date"]:focus, input[type="datetime"]:focus, input[type="datetime-local"]:focus, input[type="month"]:focus, input[type="time"]:focus, input[type="week"]:focus, select[multiple="multiple"]:focus { - /*box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.06), 0 0 5px rgba(164, 124, 178, 0.7);*/ - box-shadow: none; +textarea:focus, +input[type="email"]:focus, +input[type="number"]:focus, +input[type="password"]:focus, +input[type="search"]:focus, +input[type="tel"]:focus, +input[type="text"]:focus, +input[type="url"]:focus, +input[type="color"]:focus, +input[type="date"]:focus, +input[type="datetime"]:focus, +input[type="datetime-local"]:focus, +input[type="month"]:focus, +input[type="time"]:focus, +input[type="week"]:focus, +select[multiple="multiple"]:focus { + /*box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.06), 0 0 5px rgba(164, 124, 178, 0.7);*/ + box-shadow: none; } /* Blockquote */ blockquote { - border-left: 10px solid #9C5EA2; + border-left: 10px solid #9c5ea2; } -