2022-11-19 16:03:58 +01:00
|
|
|
/*
|
|
|
|
Put your custom CSS in this file.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* search box entered text */
|
2022-11-19 19:08:22 +01:00
|
|
|
/*
|
2022-11-19 17:36:37 +01:00
|
|
|
#sidebar #header .searchbox input {
|
2022-11-19 16:03:58 +01:00
|
|
|
color: #fff;
|
2022-11-19 19:08:22 +01:00
|
|
|
}*/
|
2022-11-19 16:03:58 +01:00
|
|
|
|
|
|
|
/* search box placeholder text */
|
|
|
|
#sidebar #header .searchbox input::placeholder {
|
|
|
|
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
|
|
|
|
}
|
|
|
|
|
|
|
|
/* code blocks */
|
2022-11-19 17:36:37 +01:00
|
|
|
pre[class*="language-"] {
|
2022-11-19 16:03:58 +01:00
|
|
|
background: #222222 !important;
|
|
|
|
border: 1px solid #555555 !important;
|
|
|
|
}
|
|
|
|
code[class*="language-"] {
|
|
|
|
background: #222222 !important;
|
|
|
|
}
|
|
|
|
pre code {
|
2022-11-19 17:36:37 +01:00
|
|
|
/*color: #b51c42;*/
|
2022-11-19 16:03:58 +01:00
|
|
|
color: #c897d8 !important;
|
2022-11-19 17:36:37 +01:00
|
|
|
/* this padding fixes indent on first line for codeblocks */
|
2022-11-19 16:03:58 +01:00
|
|
|
padding: 0 !important;
|
|
|
|
}
|
|
|
|
pre .copy-to-clipboard {
|
|
|
|
background-color: #111111 !important;
|
2022-11-19 17:36:37 +01:00
|
|
|
/*
|
|
|
|
to revert the fix for "copy" button
|
|
|
|
margin-top: 0;
|
|
|
|
*/
|
2022-11-19 16:03:58 +01:00
|
|
|
}
|
|
|
|
pre .copy-to-clipboard:hover {
|
|
|
|
background-color: #333333 !important;
|
|
|
|
}
|
|
|
|
|
2022-11-19 17:36:37 +01:00
|
|
|
/* inline code */
|
2022-11-19 16:03:58 +01:00
|
|
|
code {
|
2022-11-19 17:36:37 +01:00
|
|
|
/*color: #b51c42;*/
|
2022-11-19 16:03:58 +01:00
|
|
|
color: #c897d8;
|
|
|
|
background: #222222;
|
|
|
|
}
|
|
|
|
.copy-to-clipboard {
|
|
|
|
background-color: #111111;
|
|
|
|
background-image: url(../images/clippy-white.svg);
|
2022-11-19 17:36:37 +01:00
|
|
|
/*
|
|
|
|
makes "copy" button fit slightly better imo
|
|
|
|
FIXME this breaks chromium
|
|
|
|
margin-top: .2rem;
|
|
|
|
*/
|
2022-11-19 16:03:58 +01:00
|
|
|
}
|
|
|
|
.copy-to-clipboard:hover {
|
|
|
|
background-color: #333333;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Sidebar currently selected main topic */
|
|
|
|
#sidebar ul li.active > a {
|
|
|
|
background: #111111;
|
|
|
|
color: #dddddd !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* HACK hide checkmark icons */
|
|
|
|
.fa.fa-check.read-icon {
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* 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;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Blockquote */
|
|
|
|
blockquote {
|
|
|
|
border-left: 10px solid #9C5EA2;
|
|
|
|
}
|
|
|
|
|