Revert "Disable code block css. (set in plugin instead)"

This reverts commit e4503a5e3e.
This commit is contained in:
RealStickman 2022-11-19 17:36:37 +01:00
parent e4503a5e3e
commit e95b01b031
5 changed files with 17 additions and 13 deletions

View File

@ -950,8 +950,6 @@ body {
border-radius: 4px; } border-radius: 4px; }
.searchbox label { .searchbox label {
color: rgba(200, 200, 200, 0.8); } color: rgba(200, 200, 200, 0.8); }
.searchbox input {
color: #fff; }
#sidebar { #sidebar {
background-color: #47314f; } background-color: #47314f; }

File diff suppressed because one or more lines are too long

View File

@ -35,9 +35,9 @@ Put your custom CSS in this file.
}*/ }*/
/* search box entered text */ /* search box entered text */
/*#sidebar #header .searchbox input { #sidebar #header .searchbox input {
color: #fff; color: #fff;
}*/ }
/* search box placeholder text */ /* search box placeholder text */
#sidebar #header .searchbox input::placeholder { #sidebar #header .searchbox input::placeholder {
@ -57,7 +57,7 @@ Put your custom CSS in this file.
}*/ }*/
/* code blocks */ /* code blocks */
/*pre[class*="language-"] { pre[class*="language-"] {
background: #222222 !important; background: #222222 !important;
border: 1px solid #555555 !important; border: 1px solid #555555 !important;
} }
@ -65,29 +65,40 @@ code[class*="language-"] {
background: #222222 !important; background: #222222 !important;
} }
pre code { pre code {
/*color: #b51c42;*/
color: #c897d8 !important; color: #c897d8 !important;
// this padding fixes indent on first line for codeblocks /* this padding fixes indent on first line for codeblocks */
padding: 0 !important; padding: 0 !important;
} }
pre .copy-to-clipboard { pre .copy-to-clipboard {
background-color: #111111 !important; background-color: #111111 !important;
/*
to revert the fix for "copy" button
margin-top: 0;
*/
} }
pre .copy-to-clipboard:hover { pre .copy-to-clipboard:hover {
background-color: #333333 !important; background-color: #333333 !important;
} }
/* inline code */
code { code {
/*color: #b51c42;*/
color: #c897d8; color: #c897d8;
background: #222222; background: #222222;
} }
.copy-to-clipboard { .copy-to-clipboard {
background-color: #111111; background-color: #111111;
background-image: url(../images/clippy-white.svg); 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 { .copy-to-clipboard:hover {
background-color: #333333; background-color: #333333;
} }
*/
/* Sidebar topics */ /* Sidebar topics */
/*#sidebar ul.topics > li.parent, #sidebar ul.topics > li.active { /*#sidebar ul.topics > li.parent, #sidebar ul.topics > li.active {

View File

@ -1,7 +1,6 @@
// Core // Core
$core-text: #dddddd; $core-text: #dddddd;
$core-accent: #9c5ea2; $core-accent: #9c5ea2;
$white: #fff;
// Background // Background
$page-bg: #111111; $page-bg: #111111;

View File

@ -10,8 +10,4 @@
label { label {
color: rgba(200, 200, 200, 0.8) color: rgba(200, 200, 200, 0.8)
} }
input {
color: $white;
}
} }