2022-04-13 16:33:36 +00:00
|
|
|
@import url("https://styles.alv.cx/colors/gruvbox.css");
|
2022-04-03 20:35:17 +00:00
|
|
|
@import url("https://styles.alv.cx/base.css");
|
2022-04-03 21:27:59 +00:00
|
|
|
@import url("https://styles.alv.cx/modules/search.css");
|
|
|
|
@import url("https://styles.alv.cx/modules/buttonlist.css");
|
2022-04-12 16:57:28 +00:00
|
|
|
@import url("https://styles.alv.cx/modules/darkmode.css");
|
2024-01-02 18:22:15 +00:00
|
|
|
@import url("/notes/styles.css");
|
2021-06-29 13:10:27 +00:00
|
|
|
|
2021-12-22 17:46:01 +00:00
|
|
|
html {
|
|
|
|
scroll-behavior: smooth;
|
|
|
|
}
|
|
|
|
|
2021-12-23 21:44:17 +00:00
|
|
|
h1 { font-size: 2.5em }
|
|
|
|
h2 { font-size: 2em;}
|
|
|
|
h3 { font-size: 1.5em; }
|
|
|
|
|
2021-12-22 17:46:01 +00:00
|
|
|
body {
|
|
|
|
max-width: none;
|
2021-12-23 22:02:34 +00:00
|
|
|
width: 100%;
|
2022-01-13 20:29:41 +00:00
|
|
|
box-sizing: border-box;
|
2021-12-22 17:46:01 +00:00
|
|
|
}
|
|
|
|
|
2021-06-29 13:10:27 +00:00
|
|
|
.article {
|
|
|
|
margin: 1em;
|
|
|
|
}
|
2021-06-29 18:04:42 +00:00
|
|
|
|
2021-08-19 14:31:28 +00:00
|
|
|
.smallText {
|
|
|
|
font-size: 0.7em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.article .smallText {
|
|
|
|
margin: 0
|
|
|
|
}
|
2021-08-20 13:31:34 +00:00
|
|
|
|
|
|
|
.matchHighlight {
|
2022-04-14 18:35:15 +00:00
|
|
|
background-color: var(--blue);
|
2021-08-20 13:31:34 +00:00
|
|
|
}
|
2021-08-21 01:29:00 +00:00
|
|
|
|
2022-04-14 18:35:15 +00:00
|
|
|
#sidebar > #header { padding-bottom: 1em; color: var(--fg-lc);}
|
2021-12-22 17:46:01 +00:00
|
|
|
|
2021-08-21 01:29:00 +00:00
|
|
|
#header > * {
|
|
|
|
margin: 0;
|
2021-12-22 17:46:01 +00:00
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
#contentWrapper {
|
|
|
|
display: flex
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#sidebar {
|
|
|
|
position: sticky;
|
|
|
|
top: 10vh;
|
|
|
|
height: 80vh;
|
|
|
|
max-width: 30em;
|
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
min-width: 20em;
|
2021-12-22 21:16:09 +00:00
|
|
|
padding-right: 1em;
|
2021-12-22 17:46:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#content {
|
|
|
|
margin: 0 auto;
|
2021-12-23 21:44:17 +00:00
|
|
|
width: 60em;
|
|
|
|
max-width: 100%;
|
2021-12-22 17:46:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#commitlog, #license { padding: 0; }
|
|
|
|
|
2022-04-03 21:27:59 +00:00
|
|
|
#toc {
|
|
|
|
overflow-y: scroll;
|
|
|
|
overflow-x: visible;
|
|
|
|
max-width: 100%;
|
|
|
|
}
|
|
|
|
|
2021-12-22 17:46:01 +00:00
|
|
|
#sidebar,
|
|
|
|
#toc li > a {
|
2022-04-14 18:35:15 +00:00
|
|
|
color: var(--fg-lc);
|
2021-12-22 17:46:01 +00:00
|
|
|
}
|
|
|
|
|
2021-12-22 21:45:20 +00:00
|
|
|
#toc li, ul#articlelist { list-style: none; }
|
|
|
|
#toc ul, ul#articlelist { margin-left: 0.75em ; padding-left: 0.75em; }
|
2022-04-14 18:35:15 +00:00
|
|
|
#toc ul, ul#articlelist { border-left: 1px solid var(--fg-lc);}
|
2021-12-22 17:46:01 +00:00
|
|
|
#toc > ul { padding; none; padding: 0; margin: 0; border: none;max-width: 100%;}
|
2022-04-03 21:27:59 +00:00
|
|
|
li { padding: 0 !important; }
|
2021-12-22 17:46:01 +00:00
|
|
|
|
2021-12-22 21:45:20 +00:00
|
|
|
#toc li > a,
|
2021-12-23 21:44:17 +00:00
|
|
|
ul#articlelist > a{
|
2021-12-22 17:46:01 +00:00
|
|
|
text-decoration: none;
|
|
|
|
display: inline-block;
|
|
|
|
width: 100%;
|
|
|
|
transition: 0.5s;
|
|
|
|
padding: 0.5em;
|
|
|
|
box-sizing: border-box;
|
|
|
|
}
|
2021-12-22 21:45:20 +00:00
|
|
|
#toc li > a:hover,
|
|
|
|
ul#articlelist li a:hover {
|
2022-04-14 18:35:15 +00:00
|
|
|
background: var(--bg-lc);
|
2021-12-22 17:46:01 +00:00
|
|
|
color: black;
|
|
|
|
}
|
|
|
|
|
2021-12-23 21:57:34 +00:00
|
|
|
mjx-container {
|
2022-05-03 18:19:36 +00:00
|
|
|
overflow-x: auto;
|
2021-12-23 21:57:34 +00:00
|
|
|
}
|
|
|
|
|
2023-02-06 13:41:23 +00:00
|
|
|
p.metadata { margin: 0 }
|
|
|
|
|
2024-04-13 19:49:41 +00:00
|
|
|
.blog_inline_post {
|
|
|
|
border-left: 1em solid var(--fg-lc);
|
|
|
|
padding: 0 1em 0 1em;
|
|
|
|
margin-bottom: 5em;
|
|
|
|
}
|
|
|
|
|
2022-11-11 12:36:54 +00:00
|
|
|
@media (max-width: 80em) {
|
2021-12-22 17:46:01 +00:00
|
|
|
/* CSS that should be displayed if width is equal to or less than 60em goes here */
|
|
|
|
#contentWrapper { flex-direction: column }
|
2022-11-11 12:36:54 +00:00
|
|
|
#sidebar { position: static; width: 100%; max-width: none; height: auto; }
|
|
|
|
#tocWrapper { display: none }
|
2021-08-21 01:29:00 +00:00
|
|
|
}
|
2021-08-24 14:36:42 +00:00
|
|
|
|
2021-09-01 15:37:47 +00:00
|
|
|
|
|
|
|
/* ==============================================================================
|
|
|
|
Pygments (pandoc built-in style)
|
|
|
|
==============================================================================
|
|
|
|
Style based on Pygments' default colors.
|
|
|
|
|
|
|
|
This stylesheet was produced using Pandoc v2.7.2.
|
|
|
|
|
|
|
|
Pandoc is (c) 2006-2017 John MacFarlane (jgm@berkeley.edu).
|
|
|
|
Released under the GPL, version 2 or greater.
|
|
|
|
------------------------------------------------------------------------------
|
|
|
|
*/
|
|
|
|
a.sourceLine { display: inline-block; line-height: 1.25; }
|
|
|
|
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
|
|
|
|
a.sourceLine:empty { height: 1.2em; }
|
|
|
|
.sourceCode { overflow: visible; }
|
|
|
|
code.sourceCode { white-space: pre; position: relative; }
|
|
|
|
div.sourceCode { margin: 1em 0; }
|
|
|
|
pre.sourceCode { margin: 0; }
|
|
|
|
@media screen {
|
|
|
|
div.sourceCode { overflow: auto; }
|
|
|
|
}
|
|
|
|
@media print {
|
|
|
|
code.sourceCode { white-space: pre-wrap; }
|
|
|
|
a.sourceLine { text-indent: -1em; padding-left: 1em; }
|
|
|
|
}
|
|
|
|
pre.numberSource a.sourceLine
|
|
|
|
{ position: relative; left: -4em; }
|
|
|
|
pre.numberSource a.sourceLine::before
|
|
|
|
{ content: attr(title);
|
|
|
|
position: relative; left: -1em; text-align: right; vertical-align: baseline;
|
|
|
|
border: none; pointer-events: all; display: inline-block;
|
|
|
|
-webkit-touch-callout: none; -webkit-user-select: none;
|
|
|
|
-khtml-user-select: none; -moz-user-select: none;
|
|
|
|
-ms-user-select: none; user-select: none;
|
|
|
|
padding: 0 4px; width: 4em;
|
|
|
|
color: #aaaaaa;
|
|
|
|
}
|
|
|
|
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; }
|
|
|
|
div.sourceCode
|
|
|
|
{ }
|
|
|
|
@media screen {
|
|
|
|
a.sourceLine::before { text-decoration: underline; }
|
|
|
|
}
|
|
|
|
code span.al { color: #ff0000; font-weight: bold; } /* Alert */
|
|
|
|
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
|
|
|
|
code span.at { color: #7d9029; } /* Attribute */
|
|
|
|
code span.bn { color: #40a070; } /* BaseN */
|
|
|
|
code span.bu { } /* BuiltIn */
|
|
|
|
code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
|
|
|
|
code span.ch { color: #4070a0; } /* Char */
|
|
|
|
code span.cn { color: #880000; } /* Constant */
|
|
|
|
code span.co { color: #60a0b0; font-style: italic; } /* Comment */
|
|
|
|
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
|
|
|
|
code span.do { color: #ba2121; font-style: italic; } /* Documentation */
|
|
|
|
code span.dt { color: #902000; } /* DataType */
|
|
|
|
code span.dv { color: #40a070; } /* DecVal */
|
|
|
|
code span.er { color: #ff0000; font-weight: bold; } /* Error */
|
|
|
|
code span.ex { } /* Extension */
|
|
|
|
code span.fl { color: #40a070; } /* Float */
|
|
|
|
code span.fu { color: #06287e; } /* Function */
|
|
|
|
code span.im { } /* Import */
|
|
|
|
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
|
|
|
|
code span.kw { color: #007020; font-weight: bold; } /* Keyword */
|
|
|
|
code span.op { color: #666666; } /* Operator */
|
|
|
|
code span.ot { color: #007020; } /* Other */
|
|
|
|
code span.pp { color: #bc7a00; } /* Preprocessor */
|
|
|
|
code span.sc { color: #4070a0; } /* SpecialChar */
|
|
|
|
code span.ss { color: #bb6688; } /* SpecialString */
|
|
|
|
code span.st { color: #4070a0; } /* String */
|
|
|
|
code span.va { color: #19177c; } /* Variable */
|
|
|
|
code span.vs { color: #4070a0; } /* VerbatimString */
|
|
|
|
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
|