2023-07-04 17:08:32 +00:00
|
|
|
@use "./syntax.scss";
|
|
|
|
@use "./callouts.scss";
|
|
|
|
@use "./variables.scss" as *;
|
2023-06-01 21:35:31 +00:00
|
|
|
|
|
|
|
html {
|
|
|
|
scroll-behavior: smooth;
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
margin: 0;
|
|
|
|
max-width: 100%;
|
|
|
|
box-sizing: border-box;
|
|
|
|
background-color: var(--light);
|
|
|
|
font-family: var(--bodyFont);
|
|
|
|
}
|
|
|
|
|
|
|
|
.text-highlight {
|
|
|
|
background-color: #fff236aa;
|
|
|
|
padding: 0 0.1rem;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
|
|
|
|
2023-06-07 02:48:37 +00:00
|
|
|
p, ul, text, a, tr, td, li, ol, ul, .katex {
|
2023-06-01 21:35:31 +00:00
|
|
|
color: var(--darkgray);
|
|
|
|
fill: var(--darkgray);
|
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
font-weight: 600;
|
|
|
|
text-decoration: none;
|
2023-07-02 20:08:29 +00:00
|
|
|
transition: color 0.2s ease;
|
2023-06-01 21:35:31 +00:00
|
|
|
color: var(--secondary);
|
|
|
|
|
|
|
|
&:hover {
|
|
|
|
color: var(--tertiary) !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
&.internal {
|
|
|
|
text-decoration: none;
|
|
|
|
background-color: var(--highlight);
|
|
|
|
padding: 0 0.1rem;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-07-04 23:48:36 +00:00
|
|
|
.desktop-only {
|
|
|
|
display: initial;
|
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.mobile-only {
|
|
|
|
display: none;
|
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
display: initial;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-06-01 21:35:31 +00:00
|
|
|
.page {
|
2023-07-04 23:48:36 +00:00
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
margin: 0 5vw;
|
|
|
|
}
|
|
|
|
|
|
|
|
& p {
|
|
|
|
overflow-wrap: anywhere;
|
|
|
|
}
|
|
|
|
|
|
|
|
& article {
|
|
|
|
& > h1 {
|
|
|
|
font-size: 2rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
// darkmode diagrams
|
|
|
|
& svg {
|
|
|
|
stroke: var(--dark);
|
|
|
|
}
|
|
|
|
|
|
|
|
& ul:has(input[type='checkbox']) {
|
|
|
|
list-style-type: none;
|
|
|
|
padding-left: 0;
|
|
|
|
}
|
2023-06-17 21:36:06 +00:00
|
|
|
}
|
|
|
|
|
2023-07-02 20:08:29 +00:00
|
|
|
& > #quartz-body {
|
|
|
|
width: 100%;
|
|
|
|
display: flex;
|
2023-07-04 23:48:36 +00:00
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
flex-direction: column;
|
|
|
|
}
|
2023-07-02 20:08:29 +00:00
|
|
|
|
|
|
|
& .left, & .right {
|
|
|
|
flex: 1;
|
2023-07-04 17:08:32 +00:00
|
|
|
width: calc(calc(100vw - $pageWidth) / 2);
|
2023-07-04 23:48:36 +00:00
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
width: initial;
|
|
|
|
}
|
2023-07-02 20:08:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
& .left-inner, & .right-inner {
|
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
gap: 2rem;
|
|
|
|
top: 0;
|
2023-07-04 17:08:32 +00:00
|
|
|
width: $sidePanelWidth;
|
|
|
|
margin-top: $topSpacing;
|
2023-07-02 20:08:29 +00:00
|
|
|
box-sizing: border-box;
|
|
|
|
padding: 0 4rem;
|
|
|
|
position: fixed;
|
2023-07-04 23:48:36 +00:00
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
position: initial;
|
|
|
|
flex-direction: row;
|
|
|
|
padding: 0;
|
|
|
|
width: initial;
|
|
|
|
margin-top: 4rem;
|
|
|
|
}
|
2023-07-02 20:08:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
& .left-inner {
|
2023-07-04 17:08:32 +00:00
|
|
|
left: calc(calc(100vw - $pageWidth) / 2 - $sidePanelWidth);
|
2023-07-04 23:48:36 +00:00
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
gap: 1rem;
|
|
|
|
align-items: center;
|
|
|
|
}
|
2023-07-02 20:08:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
& .right-inner {
|
2023-07-04 17:08:32 +00:00
|
|
|
right: calc(calc(100vw - $pageWidth) / 2 - $sidePanelWidth);
|
2023-07-04 23:48:36 +00:00
|
|
|
& > * {
|
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
flex: 1;
|
|
|
|
}
|
|
|
|
}
|
2023-07-02 20:08:29 +00:00
|
|
|
}
|
2023-06-17 21:36:06 +00:00
|
|
|
}
|
2023-07-04 17:08:32 +00:00
|
|
|
|
2023-07-04 23:48:36 +00:00
|
|
|
& .page-header {
|
|
|
|
width: $pageWidth;
|
|
|
|
margin: $topSpacing auto 0 auto;
|
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
width: initial;
|
|
|
|
margin-top: 2rem;
|
2023-06-17 21:36:06 +00:00
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
}
|
|
|
|
|
2023-07-04 23:48:36 +00:00
|
|
|
& .center, & footer {
|
|
|
|
width: $pageWidth;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
@media all and (max-width: $fullPageWidth) {
|
|
|
|
width: initial;
|
|
|
|
margin-left: 0;
|
|
|
|
margin-right: 0;
|
2023-07-02 20:08:29 +00:00
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-07-02 20:08:29 +00:00
|
|
|
input[type="checkbox"] {
|
|
|
|
transform: translateY(2px);
|
|
|
|
color: var(--secondary);
|
|
|
|
border-color: var(--lightgray);
|
|
|
|
background-color: var(--light);
|
|
|
|
}
|
|
|
|
|
2023-06-01 21:35:31 +00:00
|
|
|
blockquote {
|
2023-06-07 02:48:37 +00:00
|
|
|
margin: 1rem 0;
|
2023-06-01 21:35:31 +00:00
|
|
|
border-left: 3px solid var(--secondary);
|
|
|
|
padding-left: 1rem;
|
|
|
|
transition: border-color 0.2s ease;
|
|
|
|
}
|
|
|
|
|
|
|
|
h1,
|
|
|
|
h2,
|
|
|
|
h3,
|
|
|
|
h4,
|
|
|
|
h5,
|
|
|
|
h6,
|
|
|
|
thead {
|
|
|
|
font-family: var(--headerFont);
|
|
|
|
color: var(--dark);
|
|
|
|
font-weight: revert;
|
|
|
|
margin: 2rem 0 0;
|
|
|
|
|
2023-06-01 23:48:38 +00:00
|
|
|
article > & > a {
|
|
|
|
color: var(--dark);
|
|
|
|
&.internal {
|
|
|
|
background-color: transparent;
|
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
}
|
2023-06-01 23:48:38 +00:00
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
|
2023-06-01 23:48:38 +00:00
|
|
|
h1, h2, h3, h4, h5, h6 {
|
2023-07-02 20:08:29 +00:00
|
|
|
&[id] > a[href^="#"] {
|
2023-06-01 23:48:38 +00:00
|
|
|
margin: 0 0.5rem;
|
|
|
|
opacity: 0;
|
|
|
|
transition: opacity 0.2s ease;
|
2023-06-03 19:07:19 +00:00
|
|
|
transform: translateY(-0.1rem);
|
|
|
|
display: inline-block;
|
2023-06-01 23:48:38 +00:00
|
|
|
font-family: var(--codeFont);
|
|
|
|
user-select: none;
|
|
|
|
}
|
|
|
|
&[id]:hover > a {
|
|
|
|
opacity: 1;
|
2023-06-01 21:35:31 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
div[data-rehype-pretty-code-fragment] {
|
|
|
|
line-height: 1.5rem;
|
|
|
|
position: relative;
|
|
|
|
|
|
|
|
& > div[data-rehype-pretty-code-title] {
|
|
|
|
font-family: var(--codeFont);
|
|
|
|
font-size: 0.9rem;
|
|
|
|
padding: 0.1rem 0.8rem;
|
|
|
|
border: 1px solid var(--lightgray);
|
|
|
|
width: max-content;
|
|
|
|
border-radius: 5px;
|
|
|
|
margin-bottom: -0.8rem;
|
|
|
|
color: var(--darkgray);
|
|
|
|
}
|
2023-06-01 23:05:14 +00:00
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
|
2023-06-01 23:05:14 +00:00
|
|
|
pre {
|
|
|
|
font-family: var(--codeFont);
|
|
|
|
padding: 0.5rem;
|
|
|
|
border-radius: 5px;
|
2023-07-04 23:48:36 +00:00
|
|
|
overflow-x: auto;
|
2023-06-01 23:05:14 +00:00
|
|
|
border: 1px solid var(--lightgray);
|
|
|
|
|
|
|
|
& > code {
|
|
|
|
background: none;
|
|
|
|
padding: 0;
|
2023-06-07 02:48:37 +00:00
|
|
|
font-size: 0.85rem;
|
2023-06-01 23:05:14 +00:00
|
|
|
counter-reset: line;
|
|
|
|
counter-increment: line 0;
|
|
|
|
display: grid;
|
|
|
|
|
|
|
|
& .line {
|
|
|
|
padding: 0 0.25rem;
|
|
|
|
box-sizing: border-box;
|
|
|
|
border-left: 3px solid transparent;
|
|
|
|
|
|
|
|
&.highlighted {
|
|
|
|
background-color: var(--highlight);
|
|
|
|
border-left: 3px solid var(--secondary);
|
|
|
|
}
|
2023-06-01 21:35:31 +00:00
|
|
|
|
2023-06-01 23:05:14 +00:00
|
|
|
&::before {
|
|
|
|
content: counter(line);
|
|
|
|
counter-increment: line;
|
|
|
|
width: 1rem;
|
|
|
|
margin-right: 1rem;
|
|
|
|
display: inline-block;
|
|
|
|
text-align: right;
|
|
|
|
color: rgba(115, 138, 148, 0.4);
|
2023-06-01 21:35:31 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
font-size: 0.9em;
|
2023-06-20 03:37:45 +00:00
|
|
|
color: var(--dark);
|
2023-06-01 21:35:31 +00:00
|
|
|
font-family: var(--codeFont);
|
|
|
|
border-radius: 5px;
|
|
|
|
padding: 0.1rem 0.2rem;
|
|
|
|
background: var(--lightgray);
|
|
|
|
}
|
|
|
|
|
|
|
|
tbody, li, p {
|
|
|
|
line-height: 1.5rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
table {
|
|
|
|
border: 2px solid var(--gray);
|
|
|
|
width: 100%;
|
|
|
|
padding: 1.5rem;
|
|
|
|
border-collapse: collapse;
|
|
|
|
}
|
|
|
|
|
|
|
|
td, th {
|
|
|
|
padding: 0.2rem 1rem;
|
|
|
|
border: 2px solid var(--gray);
|
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
|
|
|
max-width: 100%;
|
|
|
|
border-radius: 5px;
|
|
|
|
margin: 1rem 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
p > img + em {
|
|
|
|
display: block;
|
|
|
|
transform: translateY(-1rem);
|
|
|
|
}
|
|
|
|
|
|
|
|
hr {
|
|
|
|
width: 100%;
|
|
|
|
margin: 2rem auto;
|
|
|
|
height: 1px;
|
|
|
|
border: none;
|
|
|
|
background-color: var(--lightgray);
|
|
|
|
}
|
|
|
|
|
|
|
|
section {
|
|
|
|
margin: 2rem auto;
|
|
|
|
border-top: 1px solid var(--lightgray);
|
|
|
|
|
|
|
|
& > #footnote-label {
|
|
|
|
& > a {
|
|
|
|
color: var(--dark);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
& ol, & ul {
|
|
|
|
padding: 0 1em
|
|
|
|
}
|
|
|
|
}
|
2023-06-06 07:00:38 +00:00
|
|
|
|
|
|
|
audio, video {
|
|
|
|
width: 100%;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
2023-06-18 17:47:07 +00:00
|
|
|
|
|
|
|
.spacer {
|
|
|
|
flex: 1 1 auto;
|
|
|
|
}
|
2023-07-04 23:48:36 +00:00
|
|
|
|
|
|
|
ul.overflow, ol.overflow {
|
|
|
|
height: 400px;
|
|
|
|
overflow-y: scroll;
|
|
|
|
|
|
|
|
& > li:last-of-type {
|
|
|
|
margin-bottom: 50px;
|
|
|
|
}
|
|
|
|
|
|
|
|
&:after {
|
|
|
|
pointer-events: none;
|
|
|
|
content: '';
|
|
|
|
width: 100%;
|
|
|
|
height: 50px;
|
|
|
|
position: absolute;
|
|
|
|
left: 0;
|
|
|
|
bottom: 0;
|
|
|
|
background: linear-gradient(transparent 0px, var(--light));
|
|
|
|
}
|
|
|
|
}
|