2022-07-21 21:30:47 +00:00
|
|
|
|
/* Default theme */
|
2022-07-25 10:19:10 +00:00
|
|
|
|
html, body {
|
|
|
|
|
margin: 0;
|
2022-08-20 15:54:41 +00:00
|
|
|
|
padding: 0.5ex 1ex;
|
2022-09-26 21:44:07 +00:00
|
|
|
|
font-family: 'Atkinson Hyperlegible', 'Open Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif;
|
|
|
|
|
font-size: 110%;
|
|
|
|
|
}
|
|
|
|
|
|
2022-09-29 21:49:10 +00:00
|
|
|
|
body {
|
|
|
|
|
max-width: 80ex;
|
|
|
|
|
margin: 0 auto;
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-03 21:40:57 +00:00
|
|
|
|
body nav {
|
|
|
|
|
text-align: center;
|
|
|
|
|
}
|
|
|
|
|
body nav h1 {
|
|
|
|
|
text-align: center;
|
|
|
|
|
color: #000;
|
|
|
|
|
display: inline-block;
|
|
|
|
|
}
|
2022-10-16 22:10:06 +00:00
|
|
|
|
|
2022-11-01 11:19:20 +00:00
|
|
|
|
a:focus {
|
|
|
|
|
background-color: rgb(0, 0, 238);
|
|
|
|
|
color: white;
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-03 23:31:53 +00:00
|
|
|
|
h1 a:focus,
|
|
|
|
|
h2 a:focus,
|
|
|
|
|
h3 a:focus,
|
|
|
|
|
h4 a:focus,
|
|
|
|
|
h5 a:focus,
|
|
|
|
|
h6 a:focus
|
|
|
|
|
{
|
|
|
|
|
background-color: inherit;
|
|
|
|
|
color: #2c3e50;
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-16 22:10:06 +00:00
|
|
|
|
/* Search box */
|
2022-10-03 21:40:57 +00:00
|
|
|
|
body nav input {
|
|
|
|
|
background-color: transparent;
|
|
|
|
|
color: #000;
|
|
|
|
|
border: none;
|
2022-10-26 21:12:44 +00:00
|
|
|
|
border-bottom: 1px solid #888;
|
2022-10-03 21:40:57 +00:00
|
|
|
|
}
|
|
|
|
|
.results-box-container {
|
|
|
|
|
z-index: 5;
|
2022-10-16 22:10:06 +00:00
|
|
|
|
position: fixed;
|
2022-10-03 21:40:57 +00:00
|
|
|
|
width: 100vw;
|
|
|
|
|
height: 100vh;
|
|
|
|
|
background-color: rgba(0,0,0,0.3);
|
2022-10-16 22:10:06 +00:00
|
|
|
|
top: 0;
|
|
|
|
|
left: 0;
|
|
|
|
|
}
|
|
|
|
|
.results-box-container.hidden {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
|
|
|
|
.results-box {
|
|
|
|
|
min-width: 50vw;
|
|
|
|
|
max-width: 90vw;
|
|
|
|
|
min-height: 20ex;
|
|
|
|
|
max-height: 90vh;
|
|
|
|
|
overflow: auto;
|
|
|
|
|
border-radius: 4px;
|
|
|
|
|
margin: 2rem auto;
|
|
|
|
|
box-shadow: 0px 1px 2px 1px rgba(0, 0, 0, 0.25);
|
|
|
|
|
background-color: #fff;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.results-box-container .results-box input {
|
|
|
|
|
width: 90%;
|
|
|
|
|
margin: 0 auto;
|
|
|
|
|
padding-top: 2ex;
|
|
|
|
|
display: block;
|
|
|
|
|
background-color: transparent;
|
|
|
|
|
color: #000;
|
|
|
|
|
border: none;
|
2022-10-26 21:12:44 +00:00
|
|
|
|
border-bottom: 1px solid #888;
|
|
|
|
|
outline: none;
|
|
|
|
|
font-size: 100%;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.results-box-container .results-box input:focus {
|
|
|
|
|
border-bottom: 1px solid #000;
|
2022-10-16 22:10:06 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Search box results */
|
|
|
|
|
.results-box ul {
|
|
|
|
|
list-style: none;
|
|
|
|
|
padding: 0;
|
|
|
|
|
}
|
|
|
|
|
.results-box ul li {
|
|
|
|
|
padding: 0.25ex;
|
|
|
|
|
margin: 1ex;
|
|
|
|
|
border-radius: 4px;
|
2022-10-26 21:12:44 +00:00
|
|
|
|
box-shadow: 0px 1px 2px 0px rgba(0, 0, 0, 0.25);
|
2022-10-16 22:10:06 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.results-box ul li h2 {
|
2022-10-26 21:12:44 +00:00
|
|
|
|
font-size: 110%;
|
2022-10-16 22:10:06 +00:00
|
|
|
|
padding: 1.25ex;
|
|
|
|
|
display: block;
|
|
|
|
|
margin: 0;
|
2022-10-03 21:40:57 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-10-30 22:58:44 +00:00
|
|
|
|
.results-box li h2.is-todo::before {
|
2022-11-01 11:19:34 +00:00
|
|
|
|
content: 'TODO';
|
|
|
|
|
display: inline-block;
|
|
|
|
|
background-color: #D00;
|
|
|
|
|
padding: 0.25ex;
|
|
|
|
|
border-radius: 4px;
|
|
|
|
|
font-size: 90%;
|
|
|
|
|
margin-right: 0.5ex;
|
2022-10-30 22:58:44 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-10-26 20:42:24 +00:00
|
|
|
|
.no-results-box {
|
|
|
|
|
padding: 1rem;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.no-results-box.hidden {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
|
|
|
|
|
2022-12-14 22:46:41 +00:00
|
|
|
|
a.img {
|
|
|
|
|
display: block;
|
|
|
|
|
}
|
2023-01-05 19:52:26 +00:00
|
|
|
|
|
|
|
|
|
img {
|
|
|
|
|
max-width: 100%;
|
|
|
|
|
}
|
2022-12-14 22:46:41 +00:00
|
|
|
|
|
2022-09-26 21:44:07 +00:00
|
|
|
|
@font-face {
|
|
|
|
|
font-family: "Atkinson Hyperlegible";
|
|
|
|
|
src: url('./fonts/atkinson-hyperlegible/eot/Atkinson-Hyperlegible-Regular-102.eot');
|
|
|
|
|
src: url('./fonts/atkinson-hyperlegible/eot/Atkinson-Hyperlegible-Regular-102.eot') format('embedded-opentype'),
|
|
|
|
|
url('./fonts/atkinson-hyperlegible/woff2/Atkinson-Hyperlegible-Regular-102a.woff2') format('woff2'),
|
|
|
|
|
url('./fonts/atkinson-hyperlegible/woff/Atkinson-Hyperlegible-Regular-102.woff') format('woff'),
|
|
|
|
|
url('./fonts/atkinson-hyperlegible/ttf/Atkinson-Hyperlegible-Regular-102.ttf') format('truetype');
|
2022-10-23 19:40:10 +00:00
|
|
|
|
|
|
|
|
|
/* Make sure text is displayed ASAP, even if this font is not ready. */
|
|
|
|
|
font-display: swap;
|
2022-09-26 21:44:07 +00:00
|
|
|
|
}
|
2022-10-23 19:40:10 +00:00
|
|
|
|
|
2022-07-25 10:19:10 +00:00
|
|
|
|
|
2022-05-07 21:03:26 +00:00
|
|
|
|
/* Node styling */
|
2022-05-07 16:35:04 +00:00
|
|
|
|
.node {
|
2022-01-10 22:53:07 +00:00
|
|
|
|
margin: 0 auto;
|
2022-01-08 00:13:00 +00:00
|
|
|
|
}
|
|
|
|
|
|
2021-09-03 22:26:10 +00:00
|
|
|
|
.node .node {
|
2022-05-07 16:35:04 +00:00
|
|
|
|
padding: 1ex 0 1ex 1ex;
|
2022-08-23 19:29:43 +00:00
|
|
|
|
border-left: 1px dashed #2c3e50;
|
2022-01-08 00:14:37 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-05-07 18:38:12 +00:00
|
|
|
|
.node.collapsed > .contents {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-20 20:41:07 +00:00
|
|
|
|
/* Item list */
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul,
|
|
|
|
|
.global-table-of-contents ul {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
--tree-spacing : 1rem;
|
2022-11-20 23:09:52 +00:00
|
|
|
|
--tree-radius : 0.75ex;
|
2022-11-20 20:41:07 +00:00
|
|
|
|
--tree-line-separation: 0.5rem;
|
|
|
|
|
--tree-color: #ccc;
|
2022-11-23 23:09:58 +00:00
|
|
|
|
--tree-border-radius: 5px;
|
2022-11-20 20:41:07 +00:00
|
|
|
|
list-style: none;
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul li,
|
|
|
|
|
.global-table-of-contents ul li{
|
2022-11-20 20:41:07 +00:00
|
|
|
|
position: relative;
|
2022-11-23 23:09:58 +00:00
|
|
|
|
padding-left: calc(var(--tree-spacing) * 2);
|
2022-11-20 20:41:07 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul li::after,
|
|
|
|
|
.global-table-of-contents ul li::after {
|
2022-11-20 23:09:52 +00:00
|
|
|
|
content: '';
|
|
|
|
|
display: block;
|
2022-11-20 20:41:07 +00:00
|
|
|
|
position: absolute;
|
2022-11-20 23:09:52 +00:00
|
|
|
|
top: calc(var(--tree-spacing) / 2 - var(--tree-radius));
|
|
|
|
|
left: calc(var(--tree-spacing) - var(--tree-radius) - 1px);
|
|
|
|
|
width: calc(2 * var(--tree-radius));
|
|
|
|
|
height: calc(2 * var(--tree-radius));
|
|
|
|
|
border-radius: 50%;
|
|
|
|
|
background: var(--tree-color);
|
2022-11-20 20:41:07 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul li::before,
|
|
|
|
|
.global-table-of-contents ul li::before {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
content: ' ';
|
|
|
|
|
width: var(--tree-spacing);
|
|
|
|
|
display: inline-block;
|
2022-11-20 23:09:52 +00:00
|
|
|
|
border-bottom: 2px dashed var(--tree-color);
|
2022-11-20 20:41:07 +00:00
|
|
|
|
vertical-align: super;
|
2022-11-20 23:09:52 +00:00
|
|
|
|
margin-right: calc(var(--tree-line-separation) + 0.5ex);
|
2022-11-23 23:09:58 +00:00
|
|
|
|
margin-left: calc(0px - (var(--tree-line-separation) * 4) - 2px);
|
2022-11-20 20:41:07 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Nested item list */
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul ul,
|
|
|
|
|
.global-table-of-contents ul ul {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
padding: 0;
|
|
|
|
|
margin-left: calc(var(--tree-spacing));
|
2022-11-20 23:09:52 +00:00
|
|
|
|
list-style: none;
|
2022-11-20 20:41:07 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul > li > ul,
|
|
|
|
|
.global-table-of-contents ul > li > ul {
|
|
|
|
|
margin-left: calc(0px - var(--tree-spacing));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.node .contents ul ul li,
|
|
|
|
|
.global-table-of-contents ul ul li {
|
2022-11-20 23:09:52 +00:00
|
|
|
|
margin-left: calc(0px - var(--tree-radius) / 2 + 2px);
|
2022-11-20 20:41:07 +00:00
|
|
|
|
border-left: 2px solid var(--tree-color);
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul ul li::marker,
|
|
|
|
|
.global-table-of-contents ul ul li::marker {
|
2022-11-20 23:09:52 +00:00
|
|
|
|
content: '';
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul ul li::after,
|
|
|
|
|
.global-table-of-contents ul ul li::after {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
left: calc(var(--tree-spacing) * 2 - 0.5ex);
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul ul li::before,
|
|
|
|
|
.global-table-of-contents ul ul li::before {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
width: calc(var(--tree-spacing) * 2);
|
|
|
|
|
height: calc(var(--tree-spacing) + 5px);
|
|
|
|
|
margin-top: -100%;
|
|
|
|
|
border-radius: 0;
|
|
|
|
|
top: calc(-0.5ex - 2px);
|
|
|
|
|
border-left: 2px solid var(--tree-color);
|
2022-11-20 23:09:52 +00:00
|
|
|
|
border-bottom-style: solid;
|
2022-11-20 20:41:07 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul ul li:last-of-type::before,
|
|
|
|
|
.global-table-of-contents ul ul li:last-of-type::before {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
border-bottom-left-radius: var(--tree-border-radius);
|
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul li:last-of-type,
|
|
|
|
|
.global-table-of-contents ul li:last-of-type {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
border-color: transparent;
|
|
|
|
|
}
|
|
|
|
|
|
2022-05-07 18:38:12 +00:00
|
|
|
|
.node .node.collapsed > .title::before {
|
2022-11-03 23:30:21 +00:00
|
|
|
|
content: "›";
|
|
|
|
|
vertical-align: text-bottom;
|
2022-05-07 18:38:12 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.node .node.expanded > .title::before {
|
2022-11-03 23:30:21 +00:00
|
|
|
|
content: "›";
|
|
|
|
|
transform: rotate(90deg);
|
|
|
|
|
display: inline-block;
|
2022-05-07 18:38:12 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-10-18 21:29:12 +00:00
|
|
|
|
.node .title {
|
|
|
|
|
margin: 0;
|
|
|
|
|
}
|
|
|
|
|
|
2022-08-28 12:09:57 +00:00
|
|
|
|
/* Inhibit <p> tags inside inlined items */
|
2022-08-20 15:51:08 +00:00
|
|
|
|
/* TODO: Remove need for this on generator */
|
|
|
|
|
.item p {
|
|
|
|
|
display: inline;
|
|
|
|
|
}
|
2022-09-01 22:33:42 +00:00
|
|
|
|
h1 p,h2 p,h3 p,h4 p,h5 p,h6 p, li p {
|
2022-08-28 12:09:57 +00:00
|
|
|
|
display: inline;
|
|
|
|
|
}
|
2022-08-20 15:51:08 +00:00
|
|
|
|
|
2022-11-09 00:01:34 +00:00
|
|
|
|
.connections ul {
|
|
|
|
|
margin-top: 0;
|
|
|
|
|
}
|
|
|
|
|
|
2022-05-07 21:03:26 +00:00
|
|
|
|
/* Headers */
|
2022-08-23 19:30:26 +00:00
|
|
|
|
body > .node > h1 {
|
|
|
|
|
text-align: center;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.node .node h1 {
|
2022-01-10 22:53:07 +00:00
|
|
|
|
font-size: 150%;
|
|
|
|
|
}
|
|
|
|
|
|
2022-01-08 00:14:37 +00:00
|
|
|
|
h1,h2,h3,h4,h5,h6 {
|
|
|
|
|
margin-top: 0;
|
2022-05-07 16:35:04 +00:00
|
|
|
|
color: #2c3e50;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
h1 > a, h2 > a, h3 > a, h4 > a, h5 > a, h6 > a {
|
|
|
|
|
text-decoration: none;
|
|
|
|
|
color: inherit;
|
2021-10-03 15:53:22 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
h1.title .state {
|
|
|
|
|
font-size: 50%;
|
|
|
|
|
vertical-align: middle;
|
2022-01-08 00:13:00 +00:00
|
|
|
|
/* background-color: rgba(255,255,255,0.3); */
|
|
|
|
|
background-color: rgba(0,0,0,0.1);
|
|
|
|
|
padding: 4px;
|
|
|
|
|
border-radius: 5px;
|
2021-10-03 15:53:22 +00:00
|
|
|
|
}
|
2021-09-03 22:26:10 +00:00
|
|
|
|
|
2022-10-23 19:30:44 +00:00
|
|
|
|
h1.title .state.todo-True {
|
2022-08-23 19:30:46 +00:00
|
|
|
|
background-color: rgba(255,0,0,0.5);
|
|
|
|
|
}
|
2022-10-23 19:30:44 +00:00
|
|
|
|
h1.title .state.todo-False {
|
2022-09-01 22:31:16 +00:00
|
|
|
|
background-color: rgba(0,255,0,0.25);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
h1.title .tags {
|
|
|
|
|
float: right;
|
|
|
|
|
}
|
|
|
|
|
h1.title .tags .tag {
|
|
|
|
|
font-size: 50%;
|
|
|
|
|
vertical-align: middle;
|
|
|
|
|
/* background-color: rgba(255,255,255,0.3); */
|
|
|
|
|
background-color: rgba(0,0,0,0.1);
|
|
|
|
|
padding: 4px;
|
|
|
|
|
margin-left: 2px;
|
|
|
|
|
border-radius: 5px;
|
|
|
|
|
}
|
2022-10-17 23:17:11 +00:00
|
|
|
|
h1.title .tags .tag:before {
|
|
|
|
|
content: '[';
|
|
|
|
|
}
|
|
|
|
|
h1.title .tags .tag:after {
|
|
|
|
|
content: ']';
|
|
|
|
|
}
|
2022-05-07 21:03:26 +00:00
|
|
|
|
/* Lists */
|
2021-09-03 22:26:10 +00:00
|
|
|
|
li .tag {
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
li .tag::after {
|
2022-11-22 19:28:14 +00:00
|
|
|
|
content: " :: ";
|
2021-09-03 22:26:10 +00:00
|
|
|
|
}
|
2022-05-07 21:03:26 +00:00
|
|
|
|
|
2022-10-25 21:52:54 +00:00
|
|
|
|
a.internal::before {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
content: '{ ';
|
2022-10-25 21:52:54 +00:00
|
|
|
|
}
|
|
|
|
|
a.internal::after {
|
2022-11-20 20:41:07 +00:00
|
|
|
|
content: ' }';
|
2022-10-25 21:52:54 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-12-28 21:42:26 +00:00
|
|
|
|
/* Markup */
|
|
|
|
|
.underlined {
|
|
|
|
|
text-decoration: underline;
|
|
|
|
|
}
|
|
|
|
|
|
2022-05-07 21:03:26 +00:00
|
|
|
|
/* Code blocks */
|
|
|
|
|
pre {
|
|
|
|
|
overflow: auto;
|
2022-07-24 21:09:05 +00:00
|
|
|
|
padding: 0.25ex;
|
2022-10-03 21:40:57 +00:00
|
|
|
|
box-shadow: 0px 1px 2px 1px rgba(0, 0, 0, 0.25);
|
2022-07-24 21:09:05 +00:00
|
|
|
|
border-radius: 2px;
|
2022-05-07 21:03:26 +00:00
|
|
|
|
}
|
|
|
|
|
pre > code {
|
|
|
|
|
display: block;
|
|
|
|
|
line-height: 1.2em;
|
|
|
|
|
overflow: auto;
|
|
|
|
|
}
|
2022-07-21 21:28:02 +00:00
|
|
|
|
pre code {
|
2022-05-07 21:03:26 +00:00
|
|
|
|
padding: 0.5ex;
|
|
|
|
|
font-size: medium;
|
2022-07-24 21:09:05 +00:00
|
|
|
|
background: #fff;
|
|
|
|
|
color: #000;
|
2022-07-24 21:56:29 +00:00
|
|
|
|
border: none;
|
|
|
|
|
font-size: 85%;
|
2022-11-15 20:20:25 +00:00
|
|
|
|
border-radius: 4px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.highlight pre {
|
|
|
|
|
padding: 0.5ex;
|
2022-07-21 21:28:02 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-12-28 21:42:26 +00:00
|
|
|
|
code, .verbatim {
|
2022-07-24 21:56:29 +00:00
|
|
|
|
padding: 0.25ex 0.5ex;
|
2022-07-21 21:28:02 +00:00
|
|
|
|
margin: 0.25ex;
|
2022-07-24 21:56:29 +00:00
|
|
|
|
background: #eee;
|
|
|
|
|
color: #600;
|
|
|
|
|
font-family: Menlo, Monaco, "Courier New", monospace;
|
|
|
|
|
font-size: 85%;
|
2022-07-21 21:28:02 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-03 23:31:32 +00:00
|
|
|
|
/* Results */
|
|
|
|
|
.results.lang-text {
|
|
|
|
|
border-radius: 4px;
|
|
|
|
|
border: 1px solid rgba(255,255,255,0.5);
|
|
|
|
|
padding: 1ex;
|
|
|
|
|
max-height: 80vh;
|
|
|
|
|
overflow-y: auto;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2022-07-25 10:19:10 +00:00
|
|
|
|
.content {
|
|
|
|
|
margin: 1ex;
|
|
|
|
|
}
|
|
|
|
|
|
2022-07-21 21:28:02 +00:00
|
|
|
|
article.post {
|
|
|
|
|
max-width: min(650px, 100ex);
|
|
|
|
|
margin: 0 auto;
|
2022-05-07 21:03:26 +00:00
|
|
|
|
}
|
2022-07-25 10:19:10 +00:00
|
|
|
|
/* Header */
|
|
|
|
|
.site-header {
|
|
|
|
|
background-color: #F7F7FF;
|
|
|
|
|
border-bottom: rgba(0,0,0,0.1) 1px solid;
|
|
|
|
|
text-align: center;
|
|
|
|
|
padding: 1ex;
|
|
|
|
|
}
|
|
|
|
|
.site-header h1 {
|
|
|
|
|
margin-top: 0;
|
|
|
|
|
font-size: 200%;
|
2022-07-25 15:58:58 +00:00
|
|
|
|
font-family: monospace, sans;
|
|
|
|
|
color: #000;
|
2022-07-25 10:19:10 +00:00
|
|
|
|
}
|
|
|
|
|
.site-header .site-links .fancy-link {
|
|
|
|
|
border-right: 1px solid #000;
|
|
|
|
|
padding-left: 0.75ex;
|
|
|
|
|
}
|
2022-11-20 23:09:52 +00:00
|
|
|
|
.site-header .site-links .fancy-link:last-of-type {
|
2022-07-25 10:19:10 +00:00
|
|
|
|
border: none;
|
|
|
|
|
}
|
|
|
|
|
|
2022-07-25 15:58:58 +00:00
|
|
|
|
/* Post header */
|
|
|
|
|
.post-metadata ul.post-tags {
|
|
|
|
|
list-style: none;
|
|
|
|
|
display: inline;
|
|
|
|
|
padding: 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.post-metadata ul.post-tags li.post-tag::before {
|
|
|
|
|
content: '#';
|
|
|
|
|
}
|
|
|
|
|
.post-metadata ul.post-tags li {
|
|
|
|
|
display: inline;
|
|
|
|
|
}
|
|
|
|
|
|
2022-08-03 19:11:09 +00:00
|
|
|
|
/* Post index. */
|
|
|
|
|
.post-index .post-container {
|
|
|
|
|
/* box-shadow: 0px 2px 4px 2px rgba(0, 0, 0, 0.26); */
|
|
|
|
|
/* border-radius: 2px; */
|
|
|
|
|
/* padding: 1ex; */
|
|
|
|
|
margin-bottom: 1em;
|
|
|
|
|
padding-bottom: 1em;
|
|
|
|
|
border-bottom: #000 1px dashed;
|
|
|
|
|
}
|
|
|
|
|
|
2022-09-27 22:04:06 +00:00
|
|
|
|
/* Tables. */
|
|
|
|
|
table, th, td, tr {
|
|
|
|
|
border: 1px solid black;
|
|
|
|
|
border-collapse: collapse;
|
|
|
|
|
}
|
|
|
|
|
td {
|
|
|
|
|
padding: 0.5ex;
|
|
|
|
|
}
|
|
|
|
|
tr.__table-separator {
|
|
|
|
|
border-bottom: 0.5ex solid black;
|
|
|
|
|
}
|
2022-07-21 21:30:47 +00:00
|
|
|
|
|
|
|
|
|
/* Dark mode. */
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
|
html {
|
2022-10-17 23:16:30 +00:00
|
|
|
|
background-color: #1d1f21;
|
2022-07-21 21:30:47 +00:00
|
|
|
|
color: #fafafe;
|
|
|
|
|
}
|
2022-10-03 21:40:57 +00:00
|
|
|
|
|
2022-11-11 17:45:28 +00:00
|
|
|
|
.node .node {
|
|
|
|
|
border-color: #8c9ea0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2022-07-21 21:30:47 +00:00
|
|
|
|
h2 a {
|
|
|
|
|
color: #fafafe;
|
|
|
|
|
}
|
|
|
|
|
a {
|
2022-10-16 22:10:06 +00:00
|
|
|
|
color: #00fdf2;
|
2022-07-21 21:30:47 +00:00
|
|
|
|
}
|
2022-11-01 11:19:20 +00:00
|
|
|
|
a:focus {
|
|
|
|
|
background-color: #00fdf2;
|
|
|
|
|
color: black;
|
|
|
|
|
}
|
2022-11-03 23:31:53 +00:00
|
|
|
|
h1 a:focus,
|
|
|
|
|
h2 a:focus,
|
|
|
|
|
h3 a:focus,
|
|
|
|
|
h4 a:focus,
|
|
|
|
|
h5 a:focus,
|
|
|
|
|
h6 a:focus
|
|
|
|
|
{
|
|
|
|
|
background-color: inherit;
|
|
|
|
|
color: #f7da4a;
|
|
|
|
|
}
|
2022-07-21 21:30:47 +00:00
|
|
|
|
h1,h2,h3,h4,h5,h6 {
|
2022-07-21 22:23:07 +00:00
|
|
|
|
color: #f7da4a;
|
2022-07-21 21:30:47 +00:00
|
|
|
|
}
|
2022-07-25 10:19:10 +00:00
|
|
|
|
/* Header */
|
|
|
|
|
.site-header {
|
|
|
|
|
background-color: #303330;
|
|
|
|
|
border-bottom: rgba(0,0,0,0.1) 1px solid;
|
|
|
|
|
}
|
|
|
|
|
.site-header h1 {
|
|
|
|
|
color: #fff;
|
|
|
|
|
}
|
|
|
|
|
.site-header .site-links .fancy-link {
|
|
|
|
|
border-right: 1px solid #fff;
|
|
|
|
|
}
|
|
|
|
|
|
2022-10-03 21:40:57 +00:00
|
|
|
|
/* Nav bar */
|
|
|
|
|
body nav h1 {
|
|
|
|
|
color: #eee;
|
|
|
|
|
}
|
|
|
|
|
body nav input {
|
|
|
|
|
color: #ddd;
|
|
|
|
|
border-bottom: 1px solid #888;
|
|
|
|
|
}
|
2022-10-16 22:10:06 +00:00
|
|
|
|
.results-box-container .results-box input {
|
|
|
|
|
color: #ddd;
|
|
|
|
|
border-bottom: 1px solid #888;
|
|
|
|
|
}
|
|
|
|
|
.results-box {
|
|
|
|
|
box-shadow: none;
|
|
|
|
|
background-color: #262826;
|
|
|
|
|
}
|
|
|
|
|
.results-box ul li {
|
|
|
|
|
background-color: #303330;
|
|
|
|
|
box-shadow: none;
|
|
|
|
|
}
|
|
|
|
|
.results-box ul li h2 {
|
|
|
|
|
color: white;
|
|
|
|
|
}
|
2022-10-26 21:12:44 +00:00
|
|
|
|
.results-box-container .results-box input:focus {
|
|
|
|
|
border-bottom: 1px solid #fff;
|
|
|
|
|
}
|
2022-10-03 21:40:57 +00:00
|
|
|
|
|
2022-07-22 16:16:48 +00:00
|
|
|
|
/* Code blocks */
|
2022-11-15 20:20:25 +00:00
|
|
|
|
.highlight pre {
|
|
|
|
|
padding: 1ex;
|
|
|
|
|
background-color: #262826;
|
|
|
|
|
}
|
2022-07-22 16:16:48 +00:00
|
|
|
|
pre {
|
|
|
|
|
padding: 0.5ex;
|
|
|
|
|
background-color: inherit;
|
|
|
|
|
box-shadow: none;
|
|
|
|
|
}
|
|
|
|
|
pre code {
|
|
|
|
|
padding: 1ex;
|
|
|
|
|
font-size: medium;
|
2022-07-24 21:56:29 +00:00
|
|
|
|
border: none;
|
2022-11-15 20:20:25 +00:00
|
|
|
|
background: #262826;
|
2022-07-22 16:16:48 +00:00
|
|
|
|
color: #fff;
|
|
|
|
|
}
|
|
|
|
|
|
2022-12-28 21:42:26 +00:00
|
|
|
|
code, .verbatim {
|
2022-07-24 21:56:29 +00:00
|
|
|
|
background: #262826;
|
|
|
|
|
color: #FFF;
|
|
|
|
|
font-family: Menlo, Monaco, "Courier New", monospace;
|
2022-07-22 16:16:48 +00:00
|
|
|
|
}
|
2022-09-27 22:04:06 +00:00
|
|
|
|
|
2022-11-03 23:31:32 +00:00
|
|
|
|
/* Results */
|
|
|
|
|
.results.lang-text {
|
2022-12-19 23:59:00 +00:00
|
|
|
|
border: 1px solid rgba(255,255,255,0.25);
|
2022-11-03 23:31:32 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-11-28 23:20:31 +00:00
|
|
|
|
.node .contents ul,
|
|
|
|
|
.global-table-of-contents ul {
|
|
|
|
|
--tree-color: #aaa;
|
2022-11-20 23:09:52 +00:00
|
|
|
|
}
|
|
|
|
|
|
2022-09-27 22:04:06 +00:00
|
|
|
|
/* Tables. */
|
|
|
|
|
table, th, td, tr {
|
|
|
|
|
border: 1px solid #eee;
|
|
|
|
|
}
|
|
|
|
|
tr.__table-separator {
|
|
|
|
|
border-bottom: 0.5ex solid #eee;
|
|
|
|
|
}
|
2022-07-21 21:30:47 +00:00
|
|
|
|
}
|