mirror of
http://101.35.51.105:3000/congyu/Hakysidian.git
synced 2026-04-28 14:00:50 +08:00
Compare commits
3 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
 sxlxc
|
742d06f3c7 | ||
|
sxlxc
|
f226f440a5 | ||
|
sxlxc
|
6534dc58ab |
+58
-31
@@ -1,12 +1,25 @@
|
|||||||
.theorem-environment {
|
.theorem-environment {
|
||||||
|
position: relative;
|
||||||
|
margin: 1.5rem 0;
|
||||||
|
padding: 1rem 1.25rem;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
margin-top: 1em;
|
}
|
||||||
padding: 0.5em;
|
|
||||||
background-color: whitesmoke;
|
.theorem-environment > :first-child {
|
||||||
|
margin-top: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
.theorem-environment > :last-child {
|
||||||
|
margin-bottom: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.theorem-header {
|
.theorem-header {
|
||||||
font-weight: bold;
|
color: var(--color-text);
|
||||||
|
font-weight: 700;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -30,52 +43,63 @@
|
|||||||
display: inline;
|
display: inline;
|
||||||
}
|
}
|
||||||
|
|
||||||
.Proof .type {
|
.Proof {
|
||||||
font-style: italic;
|
padding-right: 2.5rem;
|
||||||
font-weight: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
.Proof {
|
.Proof .type {
|
||||||
background: none;
|
color: var(--color-linkh);
|
||||||
font-style: normal;
|
font-weight: 400;
|
||||||
position: relative;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
|
|
||||||
.Proof:after {
|
.Proof:after {
|
||||||
content: "∎";
|
content: "\220e";
|
||||||
position: absolute;
|
position: absolute;
|
||||||
right: 0px;
|
right: 1rem;
|
||||||
bottom: 0px;
|
bottom: 0.85rem;
|
||||||
}
|
color: var(--color-tag1);
|
||||||
|
|
||||||
.Proof span.theorem-header span.name {
|
|
||||||
font-weight: normal;
|
|
||||||
font-style: italic;
|
|
||||||
}
|
|
||||||
|
|
||||||
.Proof span.theorem-header span.name:before {
|
|
||||||
content: " ";
|
|
||||||
}
|
|
||||||
|
|
||||||
.Proof span.theorem-header span.name:after {
|
|
||||||
content: " ";
|
|
||||||
}
|
}
|
||||||
|
|
||||||
table.postindex {
|
table.postindex {
|
||||||
width: 100%;
|
width: 100%;
|
||||||
|
border: 0;
|
||||||
|
border-collapse: separate;
|
||||||
|
border-spacing: 0;
|
||||||
|
background: transparent;
|
||||||
|
box-shadow: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
table.postindex cite {
|
table.postindex cite {
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
table.postindex td {
|
||||||
|
padding: 0.65rem 0;
|
||||||
|
border: 0;
|
||||||
|
border-bottom: 1px solid var(--color-border);
|
||||||
|
background: transparent;
|
||||||
|
}
|
||||||
|
|
||||||
|
table.postindex tr:nth-child(even) td {
|
||||||
|
background: transparent;
|
||||||
|
}
|
||||||
|
|
||||||
|
table.postindex tr:last-child td {
|
||||||
|
border-bottom: 0;
|
||||||
|
}
|
||||||
|
|
||||||
table.postindex td.right {
|
table.postindex td.right {
|
||||||
text-align: right;
|
|
||||||
width: 11ex;
|
width: 11ex;
|
||||||
|
color: var(--color-tag1);
|
||||||
|
text-align: right;
|
||||||
|
white-space: nowrap;
|
||||||
}
|
}
|
||||||
|
|
||||||
.header-section-number {
|
.header-section-number {
|
||||||
margin-right: 10px;
|
margin-right: 0.55rem;
|
||||||
|
color: var(--color-tag1);
|
||||||
}
|
}
|
||||||
|
|
||||||
.header-section-number:after {
|
.header-section-number:after {
|
||||||
@@ -85,19 +109,22 @@ table.postindex td.right {
|
|||||||
.csl-entry {
|
.csl-entry {
|
||||||
display: table;
|
display: table;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
|
margin-bottom: 0.75rem;
|
||||||
table-layout: auto;
|
table-layout: auto;
|
||||||
}
|
}
|
||||||
|
|
||||||
.csl-left-margin {
|
.csl-left-margin {
|
||||||
display: table-cell;
|
display: table-cell;
|
||||||
padding-right: 0.5em;
|
|
||||||
white-space: nowrap;
|
|
||||||
width: 1px;
|
width: 1px;
|
||||||
|
padding-right: 0.75em;
|
||||||
|
color: var(--color-tag1);
|
||||||
|
white-space: nowrap;
|
||||||
}
|
}
|
||||||
|
|
||||||
.csl-right-inline {
|
.csl-right-inline {
|
||||||
display: table-cell;
|
display: table-cell;
|
||||||
}
|
}
|
||||||
|
|
||||||
.csl-right-inline a {
|
.csl-right-inline a {
|
||||||
word-break: break-all;
|
word-break: break-all;
|
||||||
}
|
}
|
||||||
|
|||||||
+504
-150
@@ -1,19 +1,61 @@
|
|||||||
:root {
|
:root {
|
||||||
--color-text: black;
|
color-scheme: light;
|
||||||
--color-tag1: gray;
|
--color-text: #162031;
|
||||||
--color-tag2: darkolivegreen;
|
--color-tag1: #6c788c;
|
||||||
--color-bg: white;
|
--color-tag2: #547157;
|
||||||
--color-link: #0000ee;
|
--color-bg: #f3f6fb;
|
||||||
--color-notice: #fb4f4f;
|
--color-surface: rgba(255, 255, 255, 0.84);
|
||||||
|
--color-surface-strong: #ffffff;
|
||||||
|
--color-surface-muted: #edf3fb;
|
||||||
|
--color-border: rgba(22, 32, 49, 0.12);
|
||||||
|
--color-border-strong: rgba(22, 32, 49, 0.2);
|
||||||
|
--color-link: #225b9c;
|
||||||
|
--color-link-line: rgba(34, 91, 156, 0.28);
|
||||||
|
--color-linkhbg: rgba(89, 143, 211, 0.16);
|
||||||
|
--color-linkh: #163a63;
|
||||||
|
--color-bq: #628b72;
|
||||||
|
--color-notice: #d0455a;
|
||||||
|
--color-shadow: 0 20px 50px rgba(15, 23, 42, 0.08);
|
||||||
|
--color-shadow-soft: 0 10px 30px rgba(15, 23, 42, 0.06);
|
||||||
|
--code-bg: #f6f8fc;
|
||||||
|
--code-border: rgba(55, 65, 81, 0.14);
|
||||||
|
--page-glow-1: rgba(144, 187, 241, 0.18);
|
||||||
|
--page-glow-2: rgba(99, 141, 118, 0.14);
|
||||||
}
|
}
|
||||||
|
|
||||||
@media (prefers-color-scheme: dark) {
|
@media (prefers-color-scheme: dark) {
|
||||||
:root {
|
:root {
|
||||||
--color-text: white;
|
color-scheme: dark;
|
||||||
--color-bg: black;
|
--color-text: #e7edf7;
|
||||||
|
--color-tag1: #9aa7bb;
|
||||||
|
--color-tag2: #9abf9c;
|
||||||
|
--color-bg: #0b1020;
|
||||||
|
--color-surface: rgba(15, 23, 42, 0.78);
|
||||||
|
--color-surface-strong: #101827;
|
||||||
|
--color-surface-muted: #162238;
|
||||||
|
--color-border: rgba(148, 163, 184, 0.18);
|
||||||
|
--color-border-strong: rgba(148, 163, 184, 0.26);
|
||||||
|
--color-link: #8bc3ff;
|
||||||
|
--color-link-line: rgba(139, 195, 255, 0.35);
|
||||||
|
--color-linkhbg: rgba(139, 195, 255, 0.16);
|
||||||
|
--color-linkh: #d9ecff;
|
||||||
|
--color-bq: #8db59a;
|
||||||
|
--color-notice: #ff8b8b;
|
||||||
|
--color-shadow: 0 24px 60px rgba(0, 0, 0, 0.35);
|
||||||
|
--color-shadow-soft: 0 12px 32px rgba(0, 0, 0, 0.3);
|
||||||
|
--code-bg: #0f172a;
|
||||||
|
--code-border: rgba(148, 163, 184, 0.22);
|
||||||
|
--page-glow-1: rgba(71, 119, 183, 0.22);
|
||||||
|
--page-glow-2: rgba(74, 118, 90, 0.18);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
*,
|
||||||
|
*::before,
|
||||||
|
*::after {
|
||||||
|
box-sizing: border-box;
|
||||||
|
}
|
||||||
|
|
||||||
html {
|
html {
|
||||||
scrollbar-gutter: stable;
|
scrollbar-gutter: stable;
|
||||||
scroll-behavior: smooth;
|
scroll-behavior: smooth;
|
||||||
@@ -21,45 +63,102 @@ html {
|
|||||||
}
|
}
|
||||||
|
|
||||||
body {
|
body {
|
||||||
font-family:
|
box-sizing: content-box;
|
||||||
"Lato",
|
margin: 0;
|
||||||
-apple-system,
|
font-family: "Lato", -apple-system, BlinkMacSystemFont, "PingFang SC", "Microsoft YaHei", sans-serif;
|
||||||
BlinkMacSystemFont,
|
|
||||||
"PingFang SC",
|
|
||||||
"Microsoft YaHei",
|
|
||||||
sans-serif;
|
|
||||||
font-optical-sizing: auto;
|
font-optical-sizing: auto;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-size: 1rem;
|
font-size: 1rem;
|
||||||
line-height: 140%;
|
line-height: 1.5;
|
||||||
color: var(--color-text);
|
color: var(--color-text);
|
||||||
background-color: var(--color-bg);
|
background:
|
||||||
|
radial-gradient(circle at top, var(--page-glow-1), transparent 38%),
|
||||||
|
radial-gradient(circle at right top, var(--page-glow-2), transparent 30%),
|
||||||
|
var(--color-bg);
|
||||||
|
background-attachment: fixed;
|
||||||
text-rendering: optimizeLegibility;
|
text-rendering: optimizeLegibility;
|
||||||
text-autospace: no-autospace; /*using pangu.hs*/
|
-webkit-font-smoothing: antialiased;
|
||||||
|
}
|
||||||
|
|
||||||
|
body.lang-zh {
|
||||||
|
text-align: left;
|
||||||
|
}
|
||||||
|
|
||||||
|
::selection {
|
||||||
|
background-color: var(--color-linkhbg);
|
||||||
|
color: var(--color-linkh);
|
||||||
|
}
|
||||||
|
|
||||||
|
main,
|
||||||
|
.text-space {
|
||||||
|
min-width: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
body a {
|
body a {
|
||||||
text-decoration: none;
|
color: var(--color-link);
|
||||||
|
text-decoration: underline;
|
||||||
|
text-decoration-thickness: 0.08em;
|
||||||
|
text-underline-offset: 0.18em;
|
||||||
|
text-decoration-color: var(--color-link-line);
|
||||||
|
transition:
|
||||||
|
color 0.18s ease,
|
||||||
|
background-color 0.18s ease,
|
||||||
|
text-decoration-color 0.18s ease;
|
||||||
|
-webkit-box-decoration-break: clone;
|
||||||
|
box-decoration-break: clone;
|
||||||
}
|
}
|
||||||
|
|
||||||
body a:hover {
|
body a:visited {
|
||||||
text-decoration: underline;
|
color: var(--color-link);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.text-space a:hover {
|
||||||
|
background-color: var(--color-linkhbg);
|
||||||
|
color: var(--color-linkh);
|
||||||
|
text-decoration-color: transparent;
|
||||||
|
border-radius: 0.2rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
body a:focus-visible {
|
||||||
|
outline: 2px solid var(--color-link);
|
||||||
|
outline-offset: 3px;
|
||||||
|
border-radius: 0.25rem;
|
||||||
|
}
|
||||||
|
|
||||||
details {
|
details {
|
||||||
padding-left: 1em;
|
margin: 1.25rem 0;
|
||||||
border: 2px solid var(--color-text);
|
padding: 0.85rem 1rem;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
details[open] summary {
|
||||||
|
margin-bottom: 0.75rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
details > :last-child {
|
||||||
|
margin-bottom: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
summary {
|
||||||
|
font-weight: 700;
|
||||||
|
}
|
||||||
|
|
||||||
summary:hover {
|
summary:hover {
|
||||||
cursor: pointer;
|
cursor: pointer;
|
||||||
|
color: var(--color-linkh);
|
||||||
}
|
}
|
||||||
|
|
||||||
/*mathML*/
|
/* mathML */
|
||||||
.htmlmathparagraph,
|
.htmlmathparagraph,
|
||||||
mtext,
|
mtext,
|
||||||
math {
|
math {
|
||||||
font-family: Lete Sans Math;
|
font-family: "Lete Sans Math";
|
||||||
}
|
}
|
||||||
|
|
||||||
.math-container,
|
.math-container,
|
||||||
#math-container {
|
#math-container {
|
||||||
display: block;
|
display: block;
|
||||||
@@ -106,77 +205,145 @@ math {
|
|||||||
font-variant-caps: small-caps;
|
font-variant-caps: small-caps;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
p {
|
||||||
|
margin: 0 0 1rem;
|
||||||
|
hyphens: auto;
|
||||||
|
}
|
||||||
|
|
||||||
a.url {
|
a.url {
|
||||||
word-break: break-all;
|
word-break: break-all;
|
||||||
}
|
}
|
||||||
|
|
||||||
html body div.text-space main ul.post-list {
|
|
||||||
list-style-type: none;
|
|
||||||
padding-left: 1em;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* top bar */
|
|
||||||
header {
|
header {
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
font-family: "IosevkaC", sans-serif;
|
font-family: "IosevkaC", sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.navbar {
|
||||||
|
display: flex;
|
||||||
|
justify-content: space-between;
|
||||||
|
align-items: center;
|
||||||
|
gap: 1rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navright {
|
||||||
|
display: flex;
|
||||||
|
flex-wrap: wrap;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navright a {
|
||||||
|
margin: 0 0 0 1em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navbar a {
|
||||||
|
color: var(--color-text);
|
||||||
|
text-decoration: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navbar a:visited {
|
||||||
|
color: var(--color-text);
|
||||||
|
}
|
||||||
|
|
||||||
|
nav {
|
||||||
|
margin-bottom: 1.5rem;
|
||||||
|
padding-bottom: 0.75rem;
|
||||||
|
text-align: right;
|
||||||
|
border-bottom: 1px solid var(--color-border-strong);
|
||||||
|
}
|
||||||
|
|
||||||
nav a {
|
nav a {
|
||||||
display: inline-block;
|
display: inline-flex;
|
||||||
|
align-items: center;
|
||||||
|
vertical-align: middle;
|
||||||
|
font-size: 1.05rem;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
.uri {
|
.uri {
|
||||||
word-wrap: break-word;
|
overflow-wrap: anywhere;
|
||||||
overflow-wrap: break-word;
|
word-break: break-word;
|
||||||
word-break: break-all;
|
|
||||||
white-space: normal;
|
white-space: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
footer {
|
footer {
|
||||||
color: var(--color-text);
|
margin-top: 3rem;
|
||||||
font-size: 0.8rem;
|
padding-right: 0.2rem;
|
||||||
margin-top: 2em;
|
color: var(--color-tag1);
|
||||||
|
font-size: 0.82rem;
|
||||||
text-align: right;
|
text-align: right;
|
||||||
padding-right: 1em;
|
}
|
||||||
|
|
||||||
|
h1,
|
||||||
|
h2,
|
||||||
|
h3,
|
||||||
|
h4,
|
||||||
|
h5,
|
||||||
|
h6 {
|
||||||
|
text-align: left;
|
||||||
|
text-wrap: balance;
|
||||||
}
|
}
|
||||||
|
|
||||||
.pagetitle {
|
.pagetitle {
|
||||||
|
margin: 0;
|
||||||
font-size: 2rem;
|
font-size: 2rem;
|
||||||
font-weight: normal;
|
font-weight: 400;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
text-align: left;
|
text-align: left;
|
||||||
line-height: 100%;
|
line-height: 1;
|
||||||
|
letter-spacing: -0.03em;
|
||||||
}
|
}
|
||||||
|
|
||||||
h1 {
|
h1 {
|
||||||
margin-top: 1em;
|
margin-top: 1.5rem;
|
||||||
|
margin-bottom: 0.75rem;
|
||||||
font-size: 1.44rem;
|
font-size: 1.44rem;
|
||||||
font-weight: bold;
|
font-weight: 700;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
|
line-height: 1.1;
|
||||||
|
letter-spacing: -0.02em;
|
||||||
}
|
}
|
||||||
|
|
||||||
h2 {
|
h2 {
|
||||||
margin-top: 1em;
|
margin-top: 1.75rem;
|
||||||
|
margin-bottom: 0.7rem;
|
||||||
font-size: 1.2rem;
|
font-size: 1.2rem;
|
||||||
font-weight: bold;
|
font-weight: 700;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
|
line-height: 1.2;
|
||||||
}
|
}
|
||||||
|
|
||||||
h3 {
|
h3 {
|
||||||
margin-top: 1em;
|
margin-top: 1.5rem;
|
||||||
|
margin-bottom: 0.6rem;
|
||||||
font-size: 1rem;
|
font-size: 1rem;
|
||||||
font-weight: bold;
|
font-weight: 700;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
|
line-height: 1.25;
|
||||||
|
}
|
||||||
|
|
||||||
|
h4,
|
||||||
|
h5,
|
||||||
|
h6 {
|
||||||
|
margin-top: 1.35rem;
|
||||||
|
margin-bottom: 0.55rem;
|
||||||
|
line-height: 1.3;
|
||||||
}
|
}
|
||||||
|
|
||||||
article .header {
|
article .header {
|
||||||
|
color: var(--color-tag1);
|
||||||
|
font-size: 1rem;
|
||||||
|
font-style: normal;
|
||||||
|
text-align: left;
|
||||||
|
letter-spacing: 0.02em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.info {
|
||||||
|
color: var(--color-tag2);
|
||||||
font-size: 1rem;
|
font-size: 1rem;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
color: var(--color-tag1);
|
|
||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
.info,
|
|
||||||
.info a {
|
.info a {
|
||||||
color: var(--color-tag2);
|
color: var(--color-tag2);
|
||||||
font-size: 1rem;
|
font-size: 1rem;
|
||||||
@@ -189,200 +356,375 @@ article .header {
|
|||||||
}
|
}
|
||||||
|
|
||||||
section.body {
|
section.body {
|
||||||
margin-top: 2rem;
|
margin-top: 1.75rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
section.body > :first-child {
|
||||||
|
margin-top: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.ascii-art {
|
.ascii-art {
|
||||||
|
overflow-x: auto;
|
||||||
font-family: monospace;
|
font-family: monospace;
|
||||||
line-height: normal;
|
line-height: 1.2;
|
||||||
|
}
|
||||||
|
|
||||||
|
blockquote {
|
||||||
|
margin: 1.5rem 0;
|
||||||
|
padding: 1rem 1.25rem;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-left: 4px solid var(--color-bq);
|
||||||
|
border-radius: 0 1rem 1rem 0;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
|
}
|
||||||
|
|
||||||
|
blockquote p {
|
||||||
|
margin: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
ol,
|
||||||
|
ul {
|
||||||
|
margin: 0 0 1.1rem;
|
||||||
|
padding-left: 2em;
|
||||||
|
}
|
||||||
|
|
||||||
|
ul {
|
||||||
|
list-style-type: square;
|
||||||
|
}
|
||||||
|
|
||||||
|
li {
|
||||||
|
margin-bottom: 0.3em;
|
||||||
|
padding-left: 0.15em;
|
||||||
|
}
|
||||||
|
|
||||||
|
li::marker {
|
||||||
|
color: var(--color-tag2);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* table. copied from https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/table */
|
|
||||||
table {
|
table {
|
||||||
|
margin: 1.5rem 0;
|
||||||
|
border: 1px solid var(--color-border-strong);
|
||||||
border-collapse: collapse;
|
border-collapse: collapse;
|
||||||
border: 2px solid rgb(140 140 140);
|
background-color: var(--color-surface-strong);
|
||||||
font-size: 0.8rem;
|
box-shadow: var(--color-shadow-soft);
|
||||||
letter-spacing: 1px;
|
|
||||||
}
|
|
||||||
|
|
||||||
caption {
|
|
||||||
caption-side: bottom;
|
|
||||||
padding: 10px;
|
|
||||||
font-weight: bold;
|
|
||||||
}
|
|
||||||
|
|
||||||
thead,
|
|
||||||
tfoot {
|
|
||||||
background-color: rgb(228 240 245);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
th,
|
th,
|
||||||
td {
|
td {
|
||||||
border: 1px solid rgb(160 160 160);
|
padding: 0.65rem 0.8rem;
|
||||||
padding: 8px 10px;
|
border: 1px solid var(--color-border);
|
||||||
|
text-align: left;
|
||||||
|
vertical-align: top;
|
||||||
}
|
}
|
||||||
|
|
||||||
td:last-of-type {
|
th {
|
||||||
text-align: center;
|
background-color: var(--color-surface-muted);
|
||||||
}
|
}
|
||||||
|
|
||||||
tbody > tr:nth-of-type(even) {
|
tr:nth-child(even) td {
|
||||||
background-color: rgb(237 238 242);
|
background-color: var(--color-surface);
|
||||||
}
|
|
||||||
|
|
||||||
tfoot th {
|
|
||||||
text-align: right;
|
|
||||||
}
|
|
||||||
|
|
||||||
tfoot td {
|
|
||||||
font-weight: bold;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
figure {
|
figure {
|
||||||
display: flex;
|
display: flex;
|
||||||
flex-flow: column;
|
flex-flow: column;
|
||||||
padding: 5px;
|
gap: 0.75rem;
|
||||||
margin: auto;
|
padding: 0.9rem;
|
||||||
|
margin: 1.5rem auto;
|
||||||
max-width: 80%;
|
max-width: 80%;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1.25rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
|
}
|
||||||
|
|
||||||
|
figure img {
|
||||||
|
border-radius: 0.9rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
figcaption {
|
||||||
|
padding: 0 0.25rem;
|
||||||
|
color: var(--color-tag1);
|
||||||
|
font-size: 0.92rem;
|
||||||
|
text-align: center;
|
||||||
|
}
|
||||||
|
|
||||||
|
.caption {
|
||||||
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
.centerimg img {
|
.centerimg img {
|
||||||
margin: 0 auto 0 auto;
|
|
||||||
display: block;
|
display: block;
|
||||||
|
margin: 0 auto;
|
||||||
}
|
}
|
||||||
|
|
||||||
div.highlight,
|
pre,
|
||||||
pre code {
|
div.highlight {
|
||||||
margin: auto;
|
margin: 1.5rem 0;
|
||||||
padding: 10px;
|
padding: 1rem 1.1rem;
|
||||||
overflow: auto;
|
overflow: auto;
|
||||||
|
background-color: var(--code-bg);
|
||||||
|
border: 1px solid var(--code-border);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
|
}
|
||||||
|
|
||||||
|
pre code,
|
||||||
|
div.highlight pre,
|
||||||
|
div.highlight pre code {
|
||||||
display: block;
|
display: block;
|
||||||
|
margin: 0;
|
||||||
|
padding: 0;
|
||||||
|
overflow: visible;
|
||||||
|
background: transparent;
|
||||||
|
border: 0;
|
||||||
|
box-shadow: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
code {
|
code {
|
||||||
|
display: inline;
|
||||||
|
margin: 0;
|
||||||
|
padding: 0.12em 0.35em;
|
||||||
|
background-color: var(--code-bg);
|
||||||
|
border: 1px solid var(--code-border);
|
||||||
|
border-radius: 0.45rem;
|
||||||
font-family: "IosevkaC", monospace;
|
font-family: "IosevkaC", monospace;
|
||||||
margin: 0 auto;
|
font-size: 0.92em;
|
||||||
display: inline-block;
|
|
||||||
padding: 0px 2px;
|
|
||||||
border-radius: 2px;
|
|
||||||
font-variant-ligatures: none;
|
font-variant-ligatures: none;
|
||||||
font-kerning: none;
|
font-kerning: none;
|
||||||
text-rendering: optimizeSpeed;
|
text-rendering: optimizeSpeed;
|
||||||
}
|
}
|
||||||
|
|
||||||
.draft-notice {
|
.draft-notice {
|
||||||
|
display: table;
|
||||||
|
margin: 1.5rem auto;
|
||||||
|
padding: 0.85rem 1rem;
|
||||||
color: var(--color-notice);
|
color: var(--color-notice);
|
||||||
margin: 1em auto;
|
|
||||||
text-align: center;
|
text-align: center;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-left: 4px solid var(--color-notice);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
}
|
}
|
||||||
|
|
||||||
.subtitle {
|
.subtitle {
|
||||||
text-align: left;
|
margin-top: 0.5rem;
|
||||||
|
color: var(--color-tag1);
|
||||||
font-size: 1.2rem;
|
font-size: 1.2rem;
|
||||||
margin-top: 0;
|
line-height: 1.4;
|
||||||
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.subtitle p {
|
||||||
|
margin: 0.2rem 0;
|
||||||
|
}
|
||||||
|
|
||||||
.gallery {
|
.gallery {
|
||||||
margin-top: 2em;
|
|
||||||
display: grid;
|
display: grid;
|
||||||
grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
|
grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
|
||||||
gap: 12px;
|
gap: 1rem;
|
||||||
|
margin-top: 2em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.gallery img {
|
.gallery img {
|
||||||
|
display: block;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
max-width: 320px;
|
max-width: 320px;
|
||||||
display: block;
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* phones -- no sidebar no sidenotes*/
|
hr {
|
||||||
@media (max-width: 768px) {
|
margin: 2rem 0;
|
||||||
body {
|
border: 0;
|
||||||
/* width: 90%; */
|
border-top: 1px solid var(--color-border-strong);
|
||||||
margin: auto;
|
|
||||||
padding: 0 5%;
|
|
||||||
text-align: left;
|
|
||||||
max-width: 876px;
|
|
||||||
}
|
|
||||||
mjx-container[display="true"]
|
|
||||||
/*, .katex-display */ {
|
|
||||||
overflow-x: auto;
|
|
||||||
overflow-y: hidden;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* .katex-display>.katex>.katex-html>.tag {
|
|
||||||
display: inline-block;
|
|
||||||
position: relative;
|
|
||||||
padding-left: 10pt;
|
|
||||||
} */
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.toc {
|
.toc {
|
||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* sidebar. no sidenotes */
|
/* phones: no sidebar, no sidenotes */
|
||||||
|
@media (max-width: 768px) {
|
||||||
|
body {
|
||||||
|
max-width: 876px;
|
||||||
|
margin: auto;
|
||||||
|
padding: 1rem 5% 3rem;
|
||||||
|
text-align: left;
|
||||||
|
background-attachment: scroll;
|
||||||
|
}
|
||||||
|
|
||||||
|
mjx-container[display="true"] {
|
||||||
|
overflow-x: auto;
|
||||||
|
overflow-y: hidden;
|
||||||
|
}
|
||||||
|
|
||||||
|
figure {
|
||||||
|
max-width: 100%;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/* sidebar, no sidenotes */
|
||||||
@media (min-width: 769px) {
|
@media (min-width: 769px) {
|
||||||
body {
|
body {
|
||||||
max-width: 1350px;
|
display: flex;
|
||||||
display: -webkit-flex;
|
|
||||||
-webkit-flex-flow: row wrap;
|
|
||||||
display: -ms-flexbox;
|
|
||||||
-ms-flex-flow: row wrap;
|
|
||||||
flex-flow: row wrap;
|
flex-flow: row wrap;
|
||||||
width: 95%;
|
width: 95%;
|
||||||
padding-right: 5%;
|
max-width: 1350px;
|
||||||
margin: auto;
|
margin: auto;
|
||||||
|
padding: 1.5rem 5% 3rem 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.toc {
|
.toc {
|
||||||
margin-top: 5rem;
|
display: inline-block;
|
||||||
|
width: 33%;
|
||||||
|
margin-top: 4.5rem;
|
||||||
margin-left: 0;
|
margin-left: 0;
|
||||||
margin-right: 0;
|
margin-right: 0;
|
||||||
width: 33%;
|
|
||||||
display: inline-block;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
div#contents ul,
|
div#contents ul,
|
||||||
div#contents-big ul {
|
div#contents-big ul {
|
||||||
margin-top: 0.5em;
|
margin-top: 0.3em;
|
||||||
margin-bottom: 0.5em;
|
margin-bottom: 0.3em;
|
||||||
padding-left: 1em;
|
margin-left: 0.1rem;
|
||||||
line-height: 1.2;
|
padding-left: 1.45rem;
|
||||||
|
line-height: 1.25;
|
||||||
list-style-type: decimal;
|
list-style-type: decimal;
|
||||||
margin-left: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
div#contents ul.notes-list,
|
|
||||||
div#contents-big ul.notes-list {
|
|
||||||
list-style: none;
|
|
||||||
padding-left: 0;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
div#contents-big ul ul {
|
div#contents-big ul ul {
|
||||||
list-style-type: none;
|
list-style-type: none;
|
||||||
|
margin-top: 0.15rem;
|
||||||
|
margin-left: 0.2rem;
|
||||||
|
padding-left: 0.8rem;
|
||||||
|
border-left: 1px solid var(--color-border);
|
||||||
}
|
}
|
||||||
|
|
||||||
div#contents-big li + li {
|
div#contents-big li + li {
|
||||||
margin-top: 0.5em;
|
margin-top: 0.18rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big li::marker {
|
||||||
|
color: var(--color-tag1);
|
||||||
|
font-family: "IosevkaC", sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
div#contents-big {
|
div#contents-big {
|
||||||
font-size: 80%;
|
|
||||||
padding-top: 0;
|
|
||||||
padding-left: 1rem;
|
|
||||||
text-align: left;
|
|
||||||
max-width: 60%;
|
|
||||||
clear: both;
|
|
||||||
margin-right: 4em;
|
|
||||||
position: sticky;
|
position: sticky;
|
||||||
top: 5rem;
|
top: 6rem;
|
||||||
|
max-height: calc(100vh - 7rem);
|
||||||
|
max-height: calc(100dvh - 7rem);
|
||||||
left: 100%;
|
left: 100%;
|
||||||
|
clear: both;
|
||||||
|
display: flex;
|
||||||
|
flex-direction: column;
|
||||||
|
max-width: 68%;
|
||||||
|
margin-right: 4em;
|
||||||
|
padding: 0.8rem;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
background-clip: padding-box;
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1.25rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
|
backdrop-filter: blur(14px);
|
||||||
|
font-size: 80%;
|
||||||
|
text-align: left;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .toc-scroll {
|
||||||
|
min-height: 0;
|
||||||
|
overflow-x: hidden;
|
||||||
|
overflow-y: auto;
|
||||||
|
overscroll-behavior: contain;
|
||||||
|
scrollbar-gutter: stable;
|
||||||
|
scrollbar-width: thin;
|
||||||
|
scrollbar-color: var(--color-border-strong) transparent;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .toc-scroll::-webkit-scrollbar {
|
||||||
|
width: 0.7rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .toc-scroll::-webkit-scrollbar-track {
|
||||||
|
margin-block: 0.45rem;
|
||||||
|
background: transparent;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .toc-scroll::-webkit-scrollbar-thumb {
|
||||||
|
background-color: var(--color-border-strong);
|
||||||
|
border: 0.18rem solid transparent;
|
||||||
|
border-radius: 999px;
|
||||||
|
background-clip: content-box;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .toc-scroll::-webkit-scrollbar-thumb:hover {
|
||||||
|
background-color: var(--color-tag1);
|
||||||
}
|
}
|
||||||
|
|
||||||
div#contents-big .mini-header {
|
div#contents-big .mini-header {
|
||||||
font-weight: bold;
|
margin: 0 0 0.45rem;
|
||||||
margin: 0;
|
color: var(--color-tag1);
|
||||||
|
font-weight: 700;
|
||||||
font-variant: small-caps;
|
font-variant: small-caps;
|
||||||
|
letter-spacing: 0.08em;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big a {
|
||||||
|
color: var(--color-text);
|
||||||
|
text-decoration: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big li > a {
|
||||||
|
display: block;
|
||||||
|
margin: 0 0.2rem;
|
||||||
|
padding: 0.14rem 0.32rem;
|
||||||
|
border-radius: 0.55rem;
|
||||||
|
border: 1px solid transparent;
|
||||||
|
transition:
|
||||||
|
color 0.18s ease,
|
||||||
|
background-color 0.18s ease,
|
||||||
|
border-color 0.18s ease,
|
||||||
|
transform 0.18s ease;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big a:visited {
|
||||||
|
color: var(--color-text);
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big a:hover {
|
||||||
|
background-color: var(--color-linkhbg);
|
||||||
|
color: var(--color-linkh);
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big li > a:hover,
|
||||||
|
div#contents-big li > a:focus-visible {
|
||||||
|
border-color: var(--color-border);
|
||||||
|
transform: translateX(2px);
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big li > a:focus-visible,
|
||||||
|
div#contents-big .mini-header a:focus-visible {
|
||||||
|
outline: 2px solid var(--color-link);
|
||||||
|
outline-offset: 2px;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .mini-header a {
|
||||||
|
display: inline;
|
||||||
|
margin-left: 0.25rem;
|
||||||
|
color: var(--color-link);
|
||||||
|
font-size: 0.85rem;
|
||||||
|
line-height: 1;
|
||||||
|
vertical-align: baseline;
|
||||||
|
transition: color 0.18s ease;
|
||||||
|
}
|
||||||
|
|
||||||
|
div#contents-big .mini-header a:hover {
|
||||||
|
background-color: transparent;
|
||||||
|
color: var(--color-linkh);
|
||||||
|
transform: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
.text-space {
|
.text-space {
|
||||||
@@ -391,7 +733,8 @@ code {
|
|||||||
max-width: 875px;
|
max-width: 875px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
/* sidebar+sidenotes */
|
|
||||||
|
/* sidebar + sidenotes */
|
||||||
@media (min-width: 1200px) {
|
@media (min-width: 1200px) {
|
||||||
body {
|
body {
|
||||||
width: 75%;
|
width: 75%;
|
||||||
@@ -407,5 +750,16 @@ code {
|
|||||||
|
|
||||||
body {
|
body {
|
||||||
margin: auto;
|
margin: auto;
|
||||||
|
background: white;
|
||||||
|
}
|
||||||
|
|
||||||
|
blockquote,
|
||||||
|
details,
|
||||||
|
div#contents-big,
|
||||||
|
figure,
|
||||||
|
pre,
|
||||||
|
div.highlight,
|
||||||
|
table {
|
||||||
|
box-shadow: none;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
+34
-33
@@ -1,51 +1,52 @@
|
|||||||
|
|
||||||
/* fonts */
|
/* fonts */
|
||||||
|
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Regular.woff2") format("woff2");
|
src: url("/fonts/Lato-Regular.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Bold.woff2") format("woff2");
|
src: url("/fonts/Lato-Bold.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Italic.woff2") format("woff2");
|
src: url("/fonts/Lato-Italic.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-BoldItalic.woff2") format("woff2");
|
src: url("/fonts/Lato-BoldItalic.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lete Sans Math";
|
font-family: "Lete Sans Math";
|
||||||
src: url("/fonts/LeteSansMath.woff2") format("woff2");
|
src: url("/fonts/LeteSansMath.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lete Sans Math";
|
font-family: "Lete Sans Math";
|
||||||
src: url("/fonts/LeteSansMath-Bold.woff2") format("woff2");
|
src: url("/fonts/LeteSansMath-Bold.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "IosevkaC";
|
font-family: "IosevkaC";
|
||||||
src: url("/fonts/IosevkaCustom-Regular.woff2") format("woff2");
|
src: url("/fonts/IosevkaCustom-Regular.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "IosevkaC";
|
font-family: "IosevkaC";
|
||||||
src: url("/fonts/IosevkaCustom-Bold.woff2") format("woff2");
|
src: url("/fonts/IosevkaCustom-Bold.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
+78
-34
@@ -1,35 +1,79 @@
|
|||||||
|
:root {
|
||||||
code.sourceCode
|
--syntax-alert: #c2410c;
|
||||||
{
|
--syntax-annotation: #0f766e;
|
||||||
background: inherit
|
--syntax-attribute: #2563eb;
|
||||||
|
--syntax-number: #7c3aed;
|
||||||
|
--syntax-control: #4d7c0f;
|
||||||
|
--syntax-char: #0f766e;
|
||||||
|
--syntax-constant: #9f1239;
|
||||||
|
--syntax-comment: #7b8794;
|
||||||
|
--syntax-doc: #b45309;
|
||||||
|
--syntax-type-bg: #efe7ff;
|
||||||
|
--syntax-error: #dc2626;
|
||||||
|
--syntax-function: #0f4c81;
|
||||||
|
--syntax-import: #0d9488;
|
||||||
|
--syntax-preprocessor: #92400e;
|
||||||
|
--syntax-special: #0369a1;
|
||||||
|
--syntax-string: #15803d;
|
||||||
|
--syntax-variable: #1d4ed8;
|
||||||
}
|
}
|
||||||
pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
|
|
||||||
code span.al { color: #CB4B16; font-weight: bold; } /* Alert */
|
@media (prefers-color-scheme: dark) {
|
||||||
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
|
:root {
|
||||||
code span.at { color: #7d9029; } /* Attribute */
|
--syntax-alert: #fdba74;
|
||||||
code span.bn { color: #D33682; } /* BaseN */
|
--syntax-annotation: #99f6e4;
|
||||||
code span.bu { } /* BuiltIn */
|
--syntax-attribute: #93c5fd;
|
||||||
code span.cf { color: #5F8700; font-weight: bold; } /* ControlFlow */
|
--syntax-number: #d8b4fe;
|
||||||
code span.ch { color: #16801a; } /* Char */
|
--syntax-control: #bef264;
|
||||||
code span.cn { color: #880000; } /* Constant */
|
--syntax-char: #86efac;
|
||||||
code span.co { color: #93A1A1; font-style: italic; } /* Comment */
|
--syntax-constant: #fda4af;
|
||||||
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
|
--syntax-comment: #94a3b8;
|
||||||
code span.do { color: #ba2121; font-style: italic; } /* Documentation */
|
--syntax-doc: #fcd34d;
|
||||||
code span.dt { background-color: #f8edff; } /* DataType */
|
--syntax-type-bg: rgba(216, 180, 254, 0.16);
|
||||||
code span.dv { color: #D33682; } /* DecVal */
|
--syntax-error: #f87171;
|
||||||
code span.er { color: #D30102; font-weight: bold; } /* Error */
|
--syntax-function: #bfdbfe;
|
||||||
code span.ex { } /* Extension */
|
--syntax-import: #5eead4;
|
||||||
code span.fl { color: #D33682; } /* Float */
|
--syntax-preprocessor: #fdba74;
|
||||||
code span.fu { } /* Function */
|
--syntax-special: #7dd3fc;
|
||||||
code span.im { color: #D70000} /* Import */
|
--syntax-string: #86efac;
|
||||||
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
|
--syntax-variable: #c4b5fd;
|
||||||
code span.kw { font-weight: bold; } /* Keyword */
|
}
|
||||||
code span.op { font-weight: bold; } /* Operator */
|
}
|
||||||
code span.ot { font-weight: bold; } /* Other */
|
|
||||||
code span.pp { color: #bc7a00; } /* Preprocessor */
|
code.sourceCode {
|
||||||
code span.sc { color: #4070a0; } /* SpecialChar */
|
background: inherit;
|
||||||
code span.ss { color: #bb6688; } /* SpecialString */
|
}
|
||||||
code span.st { color: #16801a; } /* String */
|
|
||||||
code span.va { color: #19177c; } /* Variable */
|
pre > code.sourceCode > span > a:first-child::before {
|
||||||
code span.vs { color: #4070a0; } /* VerbatimString */
|
text-decoration: underline;
|
||||||
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
|
}
|
||||||
|
|
||||||
|
code span.al { color: var(--syntax-alert); font-weight: 700; }
|
||||||
|
code span.an { color: var(--syntax-annotation); font-weight: 700; font-style: italic; }
|
||||||
|
code span.at { color: var(--syntax-attribute); }
|
||||||
|
code span.bn { color: var(--syntax-number); }
|
||||||
|
code span.bu { color: var(--syntax-function); }
|
||||||
|
code span.cf { color: var(--syntax-control); font-weight: 700; }
|
||||||
|
code span.ch { color: var(--syntax-char); }
|
||||||
|
code span.cn { color: var(--syntax-constant); }
|
||||||
|
code span.co { color: var(--syntax-comment); font-style: italic; }
|
||||||
|
code span.cv { color: var(--syntax-annotation); font-weight: 700; font-style: italic; }
|
||||||
|
code span.do { color: var(--syntax-doc); font-style: italic; }
|
||||||
|
code span.dt { background-color: var(--syntax-type-bg); }
|
||||||
|
code span.dv { color: var(--syntax-number); }
|
||||||
|
code span.er { color: var(--syntax-error); font-weight: 700; }
|
||||||
|
code span.ex { color: var(--syntax-function); }
|
||||||
|
code span.fl { color: var(--syntax-number); }
|
||||||
|
code span.fu { color: var(--syntax-function); }
|
||||||
|
code span.im { color: var(--syntax-import); }
|
||||||
|
code span.in { color: var(--syntax-annotation); font-weight: 700; font-style: italic; }
|
||||||
|
code span.kw { color: var(--syntax-control); font-weight: 700; }
|
||||||
|
code span.op { color: var(--syntax-function); font-weight: 700; }
|
||||||
|
code span.ot { color: var(--syntax-special); font-weight: 700; }
|
||||||
|
code span.pp { color: var(--syntax-preprocessor); }
|
||||||
|
code span.sc { color: var(--syntax-special); }
|
||||||
|
code span.ss { color: var(--syntax-number); }
|
||||||
|
code span.st { color: var(--syntax-string); }
|
||||||
|
code span.va { color: var(--syntax-variable); }
|
||||||
|
code span.vs { color: var(--syntax-special); }
|
||||||
|
code span.wa { color: var(--syntax-annotation); font-weight: 700; font-style: italic; }
|
||||||
|
|||||||
+68
-46
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
This file is copied from
|
This file is copied from
|
||||||
https://github.com/slotThe/slotThe.github.io/blob/main/css/sidenotes.css
|
https://github.com/slotThe/slotThe.github.io/blob/main/css/sidenotes.css
|
||||||
with minor modifications made by Yu Cong.
|
with minor modifications made by Yu Cong.
|
||||||
|
|
||||||
@@ -19,127 +19,148 @@ body {
|
|||||||
.sidenote,
|
.sidenote,
|
||||||
.marginnote,
|
.marginnote,
|
||||||
.marginnote-left {
|
.marginnote-left {
|
||||||
|
position: relative;
|
||||||
float: right;
|
float: right;
|
||||||
clear: right;
|
clear: right;
|
||||||
margin-right: -42%;
|
|
||||||
width: 36%;
|
width: 36%;
|
||||||
margin-top: 0.3rem;
|
margin-top: 0.45rem;
|
||||||
|
margin-right: -42%;
|
||||||
margin-bottom: 0;
|
margin-bottom: 0;
|
||||||
font-size: 0.8em;
|
padding: 0.85rem 1rem;
|
||||||
line-height: 1.2;
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
|
backdrop-filter: blur(14px);
|
||||||
vertical-align: baseline;
|
vertical-align: baseline;
|
||||||
position: relative;
|
font-size: 0.82em;
|
||||||
|
line-height: 1.45;
|
||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media (max-width: 1200px) {
|
@media (max-width: 1200px) {
|
||||||
.sidenote,
|
.sidenote,
|
||||||
.marginnote,
|
.marginnote,
|
||||||
.marginnote-left {
|
.marginnote-left {
|
||||||
margin-right: -40%;
|
|
||||||
width: 33%;
|
width: 33%;
|
||||||
|
margin-right: -40%;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.marginnote-left {
|
.marginnote-left {
|
||||||
|
position: relative;
|
||||||
float: left;
|
float: left;
|
||||||
clear: left;
|
clear: left;
|
||||||
margin-left: -32%;
|
|
||||||
width: 25%;
|
width: 25%;
|
||||||
position: relative;
|
margin-left: -32%;
|
||||||
text-align: right;
|
text-align: right;
|
||||||
}
|
}
|
||||||
/* The first condition is for the case of a left-aligned layout (on a
|
|
||||||
smaller screen), and the second condition for a more centered layout
|
/* The first condition is for the case of a left-aligned layout
|
||||||
on a larger screen. It's a bit awkward, sadly :/ */
|
(on a smaller screen), and the second condition for a more centered
|
||||||
@media (max-width: 1349px) or ((min-width: 1367px) and (max-width: 1620px)) {
|
layout on a larger screen. */
|
||||||
|
@media (max-width: 1349px), (min-width: 1367px) and (max-width: 1620px) {
|
||||||
.marginnote-left {
|
.marginnote-left {
|
||||||
margin-left: -33%;
|
|
||||||
width: 30%;
|
width: 30%;
|
||||||
|
margin-left: -33%;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote code {
|
.sidenote > :first-child,
|
||||||
font-size: 0.94em;
|
.marginnote > :first-child,
|
||||||
|
.marginnote-left > :first-child {
|
||||||
|
margin-top: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* For some reason, although only `overflow-x` is set in `default.css`,
|
.sidenote > :last-child,
|
||||||
block code in side and marginnotes gets a vertical (!) scrollbar no
|
.marginnote > :last-child,
|
||||||
matter what; disable that.
|
.marginnote-left > :last-child {
|
||||||
*/
|
margin-bottom: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
.sidenote code {
|
||||||
|
font-size: 0.92em;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Block code in side and margin notes gets a vertical scrollbar on some
|
||||||
|
browsers; disable that. */
|
||||||
div .marginnote pre,
|
div .marginnote pre,
|
||||||
div .sidenote pre {
|
div .sidenote pre {
|
||||||
|
margin: 0.75rem 0;
|
||||||
overflow-y: hidden;
|
overflow-y: hidden;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote-number {
|
.sidenote-number {
|
||||||
counter-increment: sidenote-counter;
|
|
||||||
color: var(--color-link);
|
color: var(--color-link);
|
||||||
|
counter-increment: sidenote-counter;
|
||||||
|
font-family: "IosevkaC", sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote-number:after,
|
.sidenote-number:after,
|
||||||
.sidenote:before {
|
.sidenote:before {
|
||||||
position: relative;
|
position: relative;
|
||||||
vertical-align: baseline;
|
vertical-align: baseline;
|
||||||
|
color: var(--color-link);
|
||||||
|
font-family: "IosevkaC", sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote-number:after {
|
.sidenote-number:after {
|
||||||
content: counter(sidenote-counter);
|
content: counter(sidenote-counter);
|
||||||
font-size: 0.8rem;
|
|
||||||
top: -0.5rem;
|
top: -0.5rem;
|
||||||
|
font-size: 0.8rem;
|
||||||
|
font-weight: 700;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Properly position siednote number and adjust position of sidenote
|
/* Properly position sidenote number and adjust position of sidenote
|
||||||
paragraphs:
|
paragraphs:
|
||||||
https://github.com/edwardtufte/tufte-css/issues/93#issuecomment-670695382
|
https://github.com/edwardtufte/tufte-css/issues/93#issuecomment-670695382
|
||||||
*/
|
*/
|
||||||
.sidenote::before {
|
.sidenote::before {
|
||||||
content: counter(sidenote-counter) " ";
|
content: counter(sidenote-counter) " ";
|
||||||
font-size: 0.8rem;
|
|
||||||
top: -0.55rem;
|
|
||||||
position: absolute;
|
position: absolute;
|
||||||
|
top: -0.55rem;
|
||||||
right: calc(100% + 0.5em);
|
right: calc(100% + 0.5em);
|
||||||
|
font-size: 0.8rem;
|
||||||
|
font-weight: 700;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote p {
|
.sidenote p {
|
||||||
margin: 1em 0;
|
margin: 0.85em 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.sidenote p:first-child {
|
|
||||||
margin-top: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
.sidenote p:last-child {
|
|
||||||
margin-bottom: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* */
|
|
||||||
|
|
||||||
input.margin-toggle {
|
input.margin-toggle {
|
||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
label.sidenote-number {
|
label.sidenote-number {
|
||||||
display: inline-block;
|
display: inline-block;
|
||||||
max-height: 2rem; /* should be less than or equal to paragraph line-height */
|
max-height: 2rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
label.margin-toggle:not(.sidenote-number) {
|
label.margin-toggle:not(.sidenote-number) {
|
||||||
display: none;
|
display: none;
|
||||||
|
color: var(--color-link);
|
||||||
|
font-family: "IosevkaC", sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
.iframe-wrapper {
|
.iframe-wrapper {
|
||||||
position: relative;
|
position: relative;
|
||||||
padding-bottom: 56.25%; /* 16:9 */
|
|
||||||
padding-top: 25px;
|
|
||||||
height: 0;
|
height: 0;
|
||||||
|
padding-top: 25px;
|
||||||
|
padding-bottom: 56.25%;
|
||||||
|
overflow: hidden;
|
||||||
|
background-color: var(--color-surface);
|
||||||
|
border: 1px solid var(--color-border);
|
||||||
|
border-radius: 1rem;
|
||||||
|
box-shadow: var(--color-shadow-soft);
|
||||||
}
|
}
|
||||||
|
|
||||||
.iframe-wrapper iframe {
|
.iframe-wrapper iframe {
|
||||||
position: absolute;
|
position: absolute;
|
||||||
top: 0;
|
inset: 0;
|
||||||
left: 0;
|
|
||||||
width: 100%;
|
width: 100%;
|
||||||
height: 100%;
|
height: 100%;
|
||||||
|
border: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media (max-width: 1200px) {
|
@media (max-width: 1200px) {
|
||||||
@@ -153,23 +174,24 @@ label.margin-toggle:not(.sidenote-number) {
|
|||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Linkify sidenotes iff they are clickable */
|
/* Linkify sidenotes iff they are clickable. */
|
||||||
.margin-toggle,
|
.margin-toggle,
|
||||||
.sidenote-number:after {
|
.sidenote-number:after {
|
||||||
color: var(--color-link);
|
color: var(--color-link);
|
||||||
text-decoration: none;
|
text-decoration: underline;
|
||||||
|
text-decoration-color: var(--color-link-line);
|
||||||
}
|
}
|
||||||
|
|
||||||
.margin-toggle:checked + .sidenote,
|
.margin-toggle:checked + .sidenote,
|
||||||
.margin-toggle:checked + .marginnote,
|
.margin-toggle:checked + .marginnote,
|
||||||
.margin-toggle:checked + .marginnote-left {
|
.margin-toggle:checked + .marginnote-left {
|
||||||
display: block;
|
position: relative;
|
||||||
float: left;
|
float: left;
|
||||||
left: 1rem;
|
left: 1rem;
|
||||||
clear: both;
|
clear: both;
|
||||||
|
display: block;
|
||||||
width: 95%;
|
width: 95%;
|
||||||
margin: 1rem 2.5%;
|
margin: 1rem 2.5%;
|
||||||
position: relative;
|
|
||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -1,22 +1,13 @@
|
|||||||
cabal-version: 2.4
|
name: hakyll-blog
|
||||||
name: hakysidian
|
|
||||||
version: 0.1.0.0
|
version: 0.1.0.0
|
||||||
build-type: Simple
|
build-type: Simple
|
||||||
|
cabal-version: >= 1.10
|
||||||
|
|
||||||
data-files:
|
|
||||||
bib_style.csl
|
|
||||||
favicon.ico
|
|
||||||
css/*.css
|
|
||||||
fonts/*.otf
|
|
||||||
fonts/*.ttf
|
|
||||||
fonts/*.woff2
|
|
||||||
templates/*.html
|
|
||||||
|
|
||||||
executable hakysidian
|
executable site
|
||||||
hs-source-dirs: src
|
hs-source-dirs: src
|
||||||
main-is: site.hs
|
main-is: site.hs
|
||||||
other-modules: ChaoDoc, SideNoteHTML, Pangu, Paths_hakysidian
|
other-modules: ChaoDoc, SideNoteHTML, Pangu
|
||||||
autogen-modules: Paths_hakysidian
|
|
||||||
build-depends: base >= 4.18
|
build-depends: base >= 4.18
|
||||||
, hakyll >= 4.15
|
, hakyll >= 4.15
|
||||||
, mtl >= 2.2.2
|
, mtl >= 2.2.2
|
||||||
@@ -29,13 +20,7 @@ executable hakysidian
|
|||||||
-- , process
|
-- , process
|
||||||
-- , regex-compat
|
-- , regex-compat
|
||||||
, array
|
, array
|
||||||
, directory
|
|
||||||
, filepath
|
, filepath
|
||||||
, process
|
|
||||||
, time
|
|
||||||
, unix
|
|
||||||
, wai-app-static
|
|
||||||
, warp
|
|
||||||
-- , ghc-syntax-highlighter
|
-- , ghc-syntax-highlighter
|
||||||
-- , blaze-html >= 0.9
|
-- , blaze-html >= 0.9
|
||||||
, megaparsec
|
, megaparsec
|
||||||
@@ -49,4 +34,4 @@ executable hakysidian
|
|||||||
-Wno-unsafe
|
-Wno-unsafe
|
||||||
-Wno-prepositive-qualified-module
|
-Wno-prepositive-qualified-module
|
||||||
-O2 -threaded -rtsopts -with-rtsopts=-N
|
-O2 -threaded -rtsopts -with-rtsopts=-N
|
||||||
default-language: Haskell2010
|
default-language: Haskell2010
|
||||||
@@ -1,6 +1,5 @@
|
|||||||
|
|
||||||
COMMANDS := build watch rebuild clean
|
COMMANDS := build watch rebuild clean
|
||||||
BIN := hakysidian
|
|
||||||
.PHONY: $(COMMANDS), publish
|
.PHONY: $(COMMANDS), publish
|
||||||
|
|
||||||
# Set the default goal, so running 'make' without arguments will run 'make build'.
|
# Set the default goal, so running 'make' without arguments will run 'make build'.
|
||||||
@@ -8,20 +7,20 @@ BIN := hakysidian
|
|||||||
|
|
||||||
|
|
||||||
# ---
|
# ---
|
||||||
$(COMMANDS): $(BIN)
|
$(COMMANDS): site
|
||||||
@echo "Running command: ./$(BIN) $@"
|
@echo "Running command: ./site $@"
|
||||||
-@./$(BIN) $@
|
-@./site $@
|
||||||
|
|
||||||
|
|
||||||
# --- Rules ---
|
# --- Rules ---
|
||||||
# using relative symlinks should be fine since everything only works at ./
|
# using relative symlinks should be fine since everything only works at ./
|
||||||
|
|
||||||
|
|
||||||
$(BIN): src/site.hs src/ChaoDoc.hs
|
site: src/site.hs src/ChaoDoc.hs
|
||||||
cabal build exe:hakysidian
|
cabal build
|
||||||
ln -sf "$(shell cabal list-bin exe:hakysidian)" $(BIN)
|
ln -sf "$(shell cabal list-bin exe:site)" site
|
||||||
|
|
||||||
# move from katex to mathjax
|
# move from katex to mathjax
|
||||||
# katex_cli:
|
# katex_cli:
|
||||||
# cd katex_rust_fork && cargo build --release
|
# cd katex_rust_fork && cargo build --release
|
||||||
# ln -sf ./katex_rust_fork/target/release/katex_cli katex_cli
|
# ln -sf ./katex_rust_fork/target/release/katex_cli katex_cli
|
||||||
@@ -1,119 +1,6 @@
|
|||||||
# hakysidian
|
things don't work:
|
||||||
|
|
||||||
`hakysidian` is a static site generator for note projects.
|
1. equation labels & paragraph labels
|
||||||
|
2. pandoc does not support mathtools: <https://github.com/jgm/texmath/issues/249>
|
||||||
It is built on Hakyll, but packaged as a reusable CLI so you can run the same site generator across multiple note repositories without copying shared assets around. The executable bundles its shared `css/`, `fonts/`, `templates/`, `favicon.ico`, and `bib_style.csl` files with Cabal, then reads project-specific content from the current working directory.
|
3. cross document refs
|
||||||
|
4.
|
||||||
## What It Expects
|
|
||||||
|
|
||||||
Run `hakysidian` inside a project directory with this layout:
|
|
||||||
|
|
||||||
```text
|
|
||||||
your-project/
|
|
||||||
├── notes/
|
|
||||||
│ ├── first-note.md
|
|
||||||
│ └── another-note.md
|
|
||||||
├── reference.bib
|
|
||||||
├── math-macros.md
|
|
||||||
└── images/ # optional
|
|
||||||
```
|
|
||||||
|
|
||||||
Required inputs:
|
|
||||||
|
|
||||||
- `notes/`: markdown notes to compile.
|
|
||||||
- `reference.bib`: bibliography used by Pandoc citeproc.
|
|
||||||
- `math-macros.md`: math macro definitions prepended before note parsing.
|
|
||||||
|
|
||||||
Optional inputs:
|
|
||||||
|
|
||||||
- `images/`: copied into the generated site as-is.
|
|
||||||
|
|
||||||
Shared assets are not required in each project. They come from the installed `hakysidian` package.
|
|
||||||
|
|
||||||
## Output
|
|
||||||
|
|
||||||
By default, `hakysidian` writes:
|
|
||||||
|
|
||||||
- `_site/`: generated site output.
|
|
||||||
- `_cache/`: Hakyll cache and temporary files.
|
|
||||||
|
|
||||||
Note pages use clean URLs. For example:
|
|
||||||
|
|
||||||
```text
|
|
||||||
notes/graph.md -> _site/notes/graph/index.html
|
|
||||||
```
|
|
||||||
|
|
||||||
## Install
|
|
||||||
|
|
||||||
From this repository:
|
|
||||||
|
|
||||||
```bash
|
|
||||||
cabal build exe:hakysidian
|
|
||||||
cabal install exe:hakysidian
|
|
||||||
```
|
|
||||||
|
|
||||||
## Commands
|
|
||||||
|
|
||||||
The default CLI mirrors the common Hakyll workflow:
|
|
||||||
|
|
||||||
```bash
|
|
||||||
hakysidian build
|
|
||||||
hakysidian clean
|
|
||||||
hakysidian rebuild
|
|
||||||
hakysidian watch
|
|
||||||
```
|
|
||||||
|
|
||||||
`watch` also supports:
|
|
||||||
|
|
||||||
```bash
|
|
||||||
hakysidian watch --host 127.0.0.1 --port 8000
|
|
||||||
hakysidian watch --no-server
|
|
||||||
```
|
|
||||||
|
|
||||||
The dashboard is now an explicit TUI mode:
|
|
||||||
|
|
||||||
```bash
|
|
||||||
hakysidian -tui
|
|
||||||
hakysidian -tui --host 127.0.0.1 --port 8000
|
|
||||||
hakysidian -tui --no-server
|
|
||||||
```
|
|
||||||
|
|
||||||
What each command does:
|
|
||||||
|
|
||||||
- `build`: incremental site build.
|
|
||||||
- `clean`: removes generated output and cache.
|
|
||||||
- `rebuild`: clears output/cache and builds from scratch.
|
|
||||||
- `watch`: runs Hakyll's normal watch workflow, prints build logs directly to the terminal, and rebuilds automatically on change.
|
|
||||||
- `-tui`: starts the interactive dashboard with explicit controls for watching and cleaning.
|
|
||||||
|
|
||||||
## Watch And TUI
|
|
||||||
|
|
||||||
Both `watch` and `-tui` work against the same project inputs:
|
|
||||||
|
|
||||||
- `notes/**`
|
|
||||||
- `reference.bib`
|
|
||||||
- `math-macros.md`
|
|
||||||
- `images/**`
|
|
||||||
|
|
||||||
Normal `watch` behaves like a standard Hakyll watch command: it stays in the terminal, rebuilds when inputs change, and can start a preview server unless `--no-server` is passed.
|
|
||||||
|
|
||||||
`-tui` uses an alternate-screen dashboard that:
|
|
||||||
|
|
||||||
- uses the terminal’s current size to keep the dashboard within the visible screen,
|
|
||||||
- keeps recent build output in a bounded activity pane,
|
|
||||||
- can start a local preview server unless `--no-server` is passed,
|
|
||||||
- supports `w` to start watching, `s` to stop watching, `c` to clean, and `q` to quit.
|
|
||||||
|
|
||||||
The TUI requires an interactive terminal.
|
|
||||||
|
|
||||||
## Notes Format
|
|
||||||
|
|
||||||
This generator is opinionated toward the current note pipeline in this repository:
|
|
||||||
|
|
||||||
- Markdown is parsed with Pandoc and custom theorem/callout handling.
|
|
||||||
- math is rendered with MathML. looks good in firefox
|
|
||||||
- sidenotes are supported
|
|
||||||
- spacing between CJK chars and ascii is automatically handled by a filter.
|
|
||||||
- Citations are processed through `reference.bib` and the bundled `bib_style.csl`.
|
|
||||||
- `math-macros.md` is injected before parsing so note content and theorem titles can use the same macros.
|
|
||||||
- Notes are rendered with the bundled templates and stylesheet set.
|
|
||||||
+33
-20
@@ -124,9 +124,9 @@ preprocessTheorems (Div attr xs)
|
|||||||
attr' = addAttr attr "type" theoremType
|
attr' = addAttr attr "type" theoremType
|
||||||
preprocessTheorems x = return x
|
preprocessTheorems x = return x
|
||||||
|
|
||||||
theoremFilter :: Text -> Pandoc -> Pandoc
|
theoremFilter :: Pandoc -> Pandoc
|
||||||
theoremFilter mathMacros doc =
|
theoremFilter doc =
|
||||||
walk (makeTheorem mathMacros) $
|
walk makeTheorem $
|
||||||
autorefFilter $
|
autorefFilter $
|
||||||
evalState (walkM preprocessTheorems normalizedDoc) 1
|
evalState (walkM preprocessTheorems normalizedDoc) 1
|
||||||
where
|
where
|
||||||
@@ -171,13 +171,24 @@ autorefFilter x = walk (autoref links) x
|
|||||||
where
|
where
|
||||||
links = query theoremIndex x
|
links = query theoremIndex x
|
||||||
|
|
||||||
|
-- processCitations works on AST. If you want to use citations in theorem name,
|
||||||
|
-- then you need to convert citations there to AST as well and then use processCitations\
|
||||||
|
-- Thus one need to apply the theorem filter first.
|
||||||
|
-- autoref still does not work.
|
||||||
|
mathMacros :: Text
|
||||||
|
mathMacros = unsafePerformIO (pack <$> readFile "math-macros.md")
|
||||||
|
{-# NOINLINE mathMacros #-}
|
||||||
|
|
||||||
prependMacros :: Text -> Text -> Text
|
prependMacros :: Text -> Text -> Text
|
||||||
prependMacros macros body = macros <> "\n\n" <> body
|
prependMacros macros body = macros <> "\n\n" <> body
|
||||||
|
|
||||||
thmNamePandoc :: Text -> Text -> Pandoc
|
prependMathMacros :: Text -> Text
|
||||||
thmNamePandoc mathMacros x =
|
prependMathMacros = prependMacros mathMacros
|
||||||
|
|
||||||
|
thmNamePandoc :: Text -> Pandoc
|
||||||
|
thmNamePandoc x =
|
||||||
fromRight (Pandoc nullMeta []) . runPure $
|
fromRight (Pandoc nullMeta []) . runPure $
|
||||||
readMarkdown chaoDocRead (prependMacros mathMacros x)
|
readMarkdown chaoDocRead (prependMathMacros x)
|
||||||
|
|
||||||
obsidianTheoremFilter :: Pandoc -> Pandoc
|
obsidianTheoremFilter :: Pandoc -> Pandoc
|
||||||
obsidianTheoremFilter = attachStandaloneLabels . walk rewriteObsidianBlockQuote
|
obsidianTheoremFilter = attachStandaloneLabels . walk rewriteObsidianBlockQuote
|
||||||
@@ -379,8 +390,8 @@ unsnoc (x : xs) = do
|
|||||||
(prefix, lastElem) <- unsnoc xs
|
(prefix, lastElem) <- unsnoc xs
|
||||||
return (x : prefix, lastElem)
|
return (x : prefix, lastElem)
|
||||||
|
|
||||||
makeTheorem :: Text -> Block -> Block
|
makeTheorem :: Block -> Block
|
||||||
makeTheorem mathMacros (Div attr xs)
|
makeTheorem (Div attr xs)
|
||||||
| isNothing t = Div attr xs
|
| isNothing t = Div attr xs
|
||||||
| otherwise = Div (addClass attr "theorem-environment") (Plain [header] : xs)
|
| otherwise = Div (addClass attr "theorem-environment") (Plain [header] : xs)
|
||||||
where
|
where
|
||||||
@@ -397,23 +408,26 @@ makeTheorem mathMacros (Div attr xs)
|
|||||||
nametext =
|
nametext =
|
||||||
if isNothing name
|
if isNothing name
|
||||||
then Str ""
|
then Str ""
|
||||||
else Span (addClass nullAttr "name") (pandocToInline $ thmNamePandoc mathMacros $ fromJust name)
|
else Span (addClass nullAttr "name") (pandocToInline $ thmNamePandoc $ fromJust name)
|
||||||
makeTheorem _ x = x
|
makeTheorem x = x
|
||||||
|
|
||||||
bibFile :: T.Text
|
-- bib from https://github.com/chaoxu/chaoxu.github.io/tree/develop
|
||||||
|
cslFile :: String
|
||||||
|
cslFile = "bib_style.csl"
|
||||||
|
|
||||||
|
bibFile :: String
|
||||||
bibFile = "reference.bib"
|
bibFile = "reference.bib"
|
||||||
|
|
||||||
chaoDocPandocCompiler :: FilePath -> Compiler (Item Pandoc)
|
chaoDocPandocCompiler :: Compiler (Item Pandoc)
|
||||||
chaoDocPandocCompiler cslPath = do
|
chaoDocPandocCompiler = do
|
||||||
macros <- T.pack <$> loadBody "math-macros.md"
|
macros <- T.pack <$> loadBody "math-macros.md"
|
||||||
void (loadBody "reference.bib" :: Compiler String)
|
|
||||||
body <- getResourceBody
|
body <- getResourceBody
|
||||||
let bodyWithMacros =
|
let bodyWithMacros =
|
||||||
fmap (T.unpack . prependMacros macros . T.pack) body
|
fmap (T.unpack . prependMacros macros . T.pack) body
|
||||||
myReadPandocBiblio chaoDocRead (T.pack cslPath) bibFile (myFilter macros) bodyWithMacros
|
myReadPandocBiblio chaoDocRead (T.pack cslFile) (T.pack bibFile) myFilter bodyWithMacros
|
||||||
|
|
||||||
chaoDocCompiler :: FilePath -> Compiler (Item String)
|
chaoDocCompiler :: Compiler (Item String)
|
||||||
chaoDocCompiler cslPath = chaoDocPandocCompiler cslPath <&> writePandocWith chaoDocWrite
|
chaoDocCompiler = chaoDocPandocCompiler <&> writePandocWith chaoDocWrite
|
||||||
|
|
||||||
addMeta :: T.Text -> MetaValue -> Pandoc -> Pandoc
|
addMeta :: T.Text -> MetaValue -> Pandoc -> Pandoc
|
||||||
addMeta name value (Pandoc meta a) =
|
addMeta name value (Pandoc meta a) =
|
||||||
@@ -451,9 +465,8 @@ myReadPandocBiblio ropt csl biblio pdfilter item = do
|
|||||||
-- let a x = itemSetBody (pandoc' x)
|
-- let a x = itemSetBody (pandoc' x)
|
||||||
return $ fmap (const pandoc') item
|
return $ fmap (const pandoc') item
|
||||||
|
|
||||||
myFilter :: Text -> Pandoc -> Pandoc
|
myFilter :: Pandoc -> Pandoc
|
||||||
myFilter mathMacros =
|
myFilter = usingSideNotesHTML chaoDocWrite . theoremFilter . panguFilter . displayMathFilter
|
||||||
usingSideNotesHTML chaoDocWrite . theoremFilter mathMacros . panguFilter . displayMathFilter
|
|
||||||
|
|
||||||
-- pangu filter
|
-- pangu filter
|
||||||
lastChar :: Inline -> Maybe Char
|
lastChar :: Inline -> Maybe Char
|
||||||
|
|||||||
+168
-856
File diff suppressed because it is too large
Load Diff
@@ -3,7 +3,6 @@
|
|||||||
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
||||||
<meta name="googlebot" content="noindex" />
|
<meta name="googlebot" content="noindex" />
|
||||||
<title>$title$</title>
|
<title>$title$</title>
|
||||||
<link rel="icon" href="/favicon.ico" />
|
|
||||||
<link rel="stylesheet" href="/css/fonts.css" />
|
<link rel="stylesheet" href="/css/fonts.css" />
|
||||||
<link rel="stylesheet" href="/css/default.css" />
|
<link rel="stylesheet" href="/css/default.css" />
|
||||||
<link rel="stylesheet" href="/css/pygentize.css" />
|
<link rel="stylesheet" href="/css/pygentize.css" />
|
||||||
|
|||||||
@@ -7,7 +7,6 @@
|
|||||||
<meta name="viewport" content="width=device-width, initial-scale=1">
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
||||||
<meta name="googlebot" content="noindex">
|
<meta name="googlebot" content="noindex">
|
||||||
<title></title>
|
<title></title>
|
||||||
<link rel="icon" href="/favicon.ico" />
|
|
||||||
<link rel="stylesheet" href="/css/fonts.css" />
|
<link rel="stylesheet" href="/css/fonts.css" />
|
||||||
<link rel="stylesheet" href="/css/default.css" />
|
<link rel="stylesheet" href="/css/default.css" />
|
||||||
<link rel="stylesheet" href="/css/pygentize.css" />
|
<link rel="stylesheet" href="/css/pygentize.css" />
|
||||||
@@ -32,4 +31,4 @@
|
|||||||
</div>
|
</div>
|
||||||
</body>
|
</body>
|
||||||
|
|
||||||
</html>
|
</html>
|
||||||
+4
-4
@@ -10,10 +10,10 @@ $partial("templates/head.html")$
|
|||||||
<!-- A table of contents on the left side, but only for screens
|
<!-- A table of contents on the left side, but only for screens
|
||||||
that are big enough -->
|
that are big enough -->
|
||||||
<div id="contents-big">
|
<div id="contents-big">
|
||||||
<p class="mini-header">Notes <a id="up-arrow" href="/">←</a></p>
|
<p class="mini-header"> <a href="#">Contents</a></p>
|
||||||
$partial("templates/notes-list.html")$
|
<div class="toc-scroll">
|
||||||
<p class="mini-header">Contents <a id="up-arrow" href="#">↑</a></p>
|
$toc$
|
||||||
$toc$
|
</div>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
<div class="text-space">
|
<div class="text-space">
|
||||||
|
|||||||
@@ -1,7 +0,0 @@
|
|||||||
<ul class="notes-list">
|
|
||||||
$for(notes)$
|
|
||||||
<li>
|
|
||||||
<a href="$url$">$title$</a>
|
|
||||||
</li>
|
|
||||||
$endfor$
|
|
||||||
</ul>
|
|
||||||
@@ -1,2 +1,8 @@
|
|||||||
<h1 class="pagetitle">$title$</h1>
|
<h1 class="pagetitle">$title$</h1>
|
||||||
$partial("templates/notes-list.html")$
|
<ul>
|
||||||
|
$for(posts)$
|
||||||
|
<li>
|
||||||
|
<a href="$url$">$title$</a>
|
||||||
|
</li>
|
||||||
|
$endfor$
|
||||||
|
</ul>
|
||||||
Reference in New Issue
Block a user