Compare commits
1 Commits
master
...
67e2150f75
| Author | SHA1 | Date | |
|---|---|---|---|
| 67e2150f75 |
@@ -1,22 +0,0 @@
|
|||||||
LatexListNil @ latexlist(nil, nil) <-;
|
|
||||||
LatexListCons @ latexlist(cons(?x, ?xs), cons(?l_x, ?l_s)) <- latex(?x, ?l_x), latexlist(?xs, ?l_s);
|
|
||||||
|
|
||||||
IntercalateNil @ intercalate(?sep, nil, nil) <-;
|
|
||||||
IntercalateConsCons @ intercalate(?sep, cons(?x_1, cons(?x_2, ?xs)), cons(?x_1, cons(?sep, ?ys))) <- intercalate(?sep, cons(?x_2, ?xs), ?ys);
|
|
||||||
IntercalateConsNil @ intercalate(?sep, cons(?x, nil), cons(?x, nil)) <-;
|
|
||||||
|
|
||||||
NonEmpty @ nonempty(cons(?x, ?xs)) <-;
|
|
||||||
|
|
||||||
LatexInt @ latex(?i, ?l) <- int(?i), tostring(?i, ?l);
|
|
||||||
LatexFloat @ latex(?f, ?l) <- float(?f), tostring(?f, ?l);
|
|
||||||
LatexStr @ latex(?s, ?l) <- str(?s), escapestring(?s, ?l_1), latexifystring(?s, ?l_2), join(["\\texttt{\"", ?l_2, "\"}"], ?l);
|
|
||||||
LatexMeta @ latex(metavariable(?l), ?l) <-;
|
|
||||||
LatexLit @ latex(lit(?i), ?l) <- latex(?i, ?l);
|
|
||||||
LatexVar @ latex(var(?s), ?l) <- latex(?s, ?l);
|
|
||||||
|
|
||||||
LatexIsInt @ latex(int(?e), ?l) <- latex(?e, ?l_e), join([?l_e, " \\in \\texttt{Int}"], ?l);
|
|
||||||
LatexIsFloat @ latex(float(?e), ?l) <- latex(?e, ?l_e), join([?l_e, " \\in \\texttt{Float}"], ?l);
|
|
||||||
LatexIsNum @ latex(num(?e), ?l) <- latex(?e, ?l_e), join([?l_e, " \\in \\texttt{Num}"], ?l);
|
|
||||||
LatexIsStr @ latex(str(?e), ?l) <- latex(?e, ?l_e), join([?l_e, " \\in \\texttt{Str}"], ?l);
|
|
||||||
LatexSym @ latex(?s, ?l) <- sym(?s), tostring(?s, ?l_1), join(["\\text{", ?l_1,"}"], ?l);
|
|
||||||
LatexCall @ latex(?c, ?l) <- call(?c, ?n, ?ts), nonempty(?ts), latexlist(?ts, ?lts_1), intercalate(", ", ?lts_1, ?lts_2), join(?lts_2, ?lts_3), join(["\\text{", ?n, "}", "(", ?lts_3, ")"], ?l);
|
|
||||||
@@ -1,102 +0,0 @@
|
|||||||
const loadedWidgets = {};
|
|
||||||
const getButtons = (inputGroup) => {
|
|
||||||
return {
|
|
||||||
play: inputGroup.querySelector(".bergamot-play"),
|
|
||||||
reset: inputGroup.querySelector(".bergamot-reset"),
|
|
||||||
close: inputGroup.querySelector(".bergamot-close"),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
const setRunning = (inputGroup, running) => {
|
|
||||||
if (inputGroup !== null) {
|
|
||||||
const buttons = getButtons(inputGroup);
|
|
||||||
if (buttons.play) buttons.play.classList.toggle("bergamot-hidden", running);
|
|
||||||
if (buttons.reset) buttons.reset.classList.toggle("bergamot-hidden", !running);
|
|
||||||
if (buttons.close) buttons.close.classList.toggle("bergamot-hidden", !running);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// The object language parsing is handling by a separate standalone Elm
|
|
||||||
// application in the ObjectLanguage module, which has two ports:
|
|
||||||
//
|
|
||||||
// * `parseString` requests a string to be parsed
|
|
||||||
// * `parsedString` returns the parsed string, or null
|
|
||||||
//
|
|
||||||
// We want there to be a single global ObjectLanguage object, but it works
|
|
||||||
// on a "subscription" model (we have to give a callback to its port).
|
|
||||||
// Configure this callback to invoke `resolve` functions from a list,
|
|
||||||
// so that callers can just get a promise. This way we aren't continuously
|
|
||||||
// registering more and more handlers for each parsed string, and we can
|
|
||||||
// use a convenient promise API.
|
|
||||||
const parsingPromiseResolvers = {};
|
|
||||||
const ensureObjectLanguage = () => {
|
|
||||||
if (!window.Bergamot.ObjectLanguage) {
|
|
||||||
window.Bergamot.ObjectLanguage = Elm.Bergamot.ObjectLanguage.init({});
|
|
||||||
window.Bergamot.ObjectLanguage.ports.parsedString.subscribe(({ string, term }) => {
|
|
||||||
if (string in parsingPromiseResolvers) {
|
|
||||||
for (const resolver of parsingPromiseResolvers[string]) {
|
|
||||||
resolver(term);
|
|
||||||
}
|
|
||||||
parsingPromiseResolvers[string] = [];
|
|
||||||
}
|
|
||||||
});
|
|
||||||
}
|
|
||||||
return window.Bergamot.ObjectLanguage;
|
|
||||||
}
|
|
||||||
const parseBergamotObjectLanguage = (str) => {
|
|
||||||
if (!(str in parsingPromiseResolvers)) {
|
|
||||||
parsingPromiseResolvers[str] = [];
|
|
||||||
}
|
|
||||||
|
|
||||||
return new Promise(resolve => {
|
|
||||||
parsingPromiseResolvers[str].push(resolve);
|
|
||||||
ensureObjectLanguage().ports.parseString.send(str);
|
|
||||||
});
|
|
||||||
}
|
|
||||||
|
|
||||||
window.Bergamot = {};
|
|
||||||
window.Bergamot.run = (inputGroup, nodeId, inputModes, inputPrompt, rules, renderPreset, input) => {
|
|
||||||
var app = Elm.Main.init({
|
|
||||||
node: document.getElementById(nodeId),
|
|
||||||
flags: {
|
|
||||||
inputModes,
|
|
||||||
renderRules: window.Bergamot.renderPresets[renderPreset],
|
|
||||||
rules, input
|
|
||||||
}
|
|
||||||
});
|
|
||||||
app.ports.convertInput.subscribe(async ({ mode, input }) => {
|
|
||||||
if (!(mode in window.Bergamot.inputModes)) {
|
|
||||||
app.ports.receiveConverted.send({ input, result: { error: "Improperly configured desugaring function (this is the website developer's fault)" } });
|
|
||||||
}
|
|
||||||
|
|
||||||
let query = await (window.Bergamot.inputModes[mode])(input);
|
|
||||||
if (query !== null) {
|
|
||||||
query = inputPrompt.replace("TERM", query);
|
|
||||||
app.ports.receiveConverted.send({ input, result: { query } });
|
|
||||||
} else {
|
|
||||||
app.ports.receiveConverted.send({ input, result: { error: "Unable to parse object language term" } });
|
|
||||||
}
|
|
||||||
});
|
|
||||||
loadedWidgets[nodeId] = { app, parentNode: inputGroup ? inputGroup.parentElement : null };
|
|
||||||
setRunning(inputGroup, true);
|
|
||||||
};
|
|
||||||
window.Bergamot.runPreset = (inputGroup, nodeId, presetName) => {
|
|
||||||
const preset = window.Bergamot.presets[presetName];
|
|
||||||
window.Bergamot.run(inputGroup, nodeId, preset.inputModes, preset.inputPrompt, preset.rules, preset.renderPreset, preset.query || "");
|
|
||||||
};
|
|
||||||
window.Bergamot.close = (inputGroup, nodeId) => {
|
|
||||||
if (!(nodeId in loadedWidgets)) return;
|
|
||||||
|
|
||||||
const placeholderDiv = document.createElement('div');
|
|
||||||
placeholderDiv.id = nodeId;
|
|
||||||
|
|
||||||
const widget = loadedWidgets[nodeId];
|
|
||||||
const elmRoot = widget.parentNode.querySelector(".bergamot-root");
|
|
||||||
elmRoot.replaceWith(placeholderDiv)
|
|
||||||
delete loadedWidgets[nodeId];
|
|
||||||
setRunning(inputGroup, false);
|
|
||||||
}
|
|
||||||
window.Bergamot.inputModes = {
|
|
||||||
"Bergamot Object Language": parseBergamotObjectLanguage
|
|
||||||
};
|
|
||||||
window.Bergamot.presets = {};
|
|
||||||
window.Bergamot.renderPresets = {};
|
|
||||||
@@ -1,31 +0,0 @@
|
|||||||
class KatexExpressionShim extends HTMLElement {
|
|
||||||
static observedAttributes = ["expression", "katex-options"];
|
|
||||||
targetSpan;
|
|
||||||
|
|
||||||
constructor() {
|
|
||||||
super();
|
|
||||||
}
|
|
||||||
|
|
||||||
doRender() {
|
|
||||||
if (!this.targetSpan) return;
|
|
||||||
|
|
||||||
const options = this.hasAttribute("katex-options") ?
|
|
||||||
this.getAttribute("katex-options") : {};
|
|
||||||
katex.render(
|
|
||||||
this.getAttribute("expression"),
|
|
||||||
this.targetSpan,
|
|
||||||
JSON.parse(options)
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
connectedCallback() {
|
|
||||||
this.targetSpan = document.createElement('span');
|
|
||||||
this.appendChild(this.targetSpan);
|
|
||||||
this.doRender();
|
|
||||||
}
|
|
||||||
|
|
||||||
attributeChangedCallback(name, oldValue, newValue) {
|
|
||||||
this.doRender();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
customElements.define("katex-expression", KatexExpressionShim);
|
|
||||||
@@ -1,174 +0,0 @@
|
|||||||
@import "variables.scss";
|
|
||||||
@import "mixins.scss";
|
|
||||||
|
|
||||||
.bergamot-exercise {
|
|
||||||
counter-increment: bergamot-exercise;
|
|
||||||
|
|
||||||
.bergamot-root {
|
|
||||||
border: none;
|
|
||||||
padding: 0;
|
|
||||||
margin-top: 1em;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
.bergamot-exercise-label {
|
|
||||||
.bergamot-exercise-number::after {
|
|
||||||
content: "Exercise " counter(bergamot-exercise);
|
|
||||||
font-weight: bold;
|
|
||||||
text-decoration: underline;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-button {
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 0.25em;
|
|
||||||
padding-left: 1em;
|
|
||||||
padding-right: 1em;
|
|
||||||
background-color: inherit;
|
|
||||||
display: inline-flex;
|
|
||||||
align-items: center;
|
|
||||||
justify-content: center;
|
|
||||||
transition: 0.25s;
|
|
||||||
font-family: $font-body;
|
|
||||||
@include var(color, text-color);
|
|
||||||
|
|
||||||
&.bergamot-hidden {
|
|
||||||
display: none;
|
|
||||||
}
|
|
||||||
|
|
||||||
.feather {
|
|
||||||
margin-right: 0.5em;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-play {
|
|
||||||
.feather { color: $primary-color; }
|
|
||||||
&:hover, &:focus {
|
|
||||||
.feather { color: lighten($primary-color, 20%); }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-reset {
|
|
||||||
.feather { color: #0099CC; }
|
|
||||||
&:hover, &:focus {
|
|
||||||
.feather { color: lighten(#0099CC, 20%); }
|
|
||||||
}
|
|
||||||
|
|
||||||
svg {
|
|
||||||
fill: none;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-close {
|
|
||||||
.feather { color: tomato; }
|
|
||||||
&:hover, &:focus {
|
|
||||||
.feather { color: lighten(tomato, 20%); }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-button-group {
|
|
||||||
margin-top: 1em;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-root {
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 1em;
|
|
||||||
|
|
||||||
.bergamot-section-heading {
|
|
||||||
margin-bottom: 0.5em;
|
|
||||||
font-family: $font-body;
|
|
||||||
font-style: normal;
|
|
||||||
font-weight: bold;
|
|
||||||
font-size: 1.25em;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-section {
|
|
||||||
margin-bottom: 1em;
|
|
||||||
}
|
|
||||||
|
|
||||||
textarea {
|
|
||||||
display: block;
|
|
||||||
width: 100%;
|
|
||||||
height: 10em;
|
|
||||||
resize: none;
|
|
||||||
}
|
|
||||||
|
|
||||||
input[type="text"] {
|
|
||||||
width: 100%;
|
|
||||||
@include textual-input;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-rule-list {
|
|
||||||
display: flex;
|
|
||||||
flex-direction: row;
|
|
||||||
flex-wrap: wrap;
|
|
||||||
justify-content: center;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-rule-list katex-expression {
|
|
||||||
margin-left: .5em;
|
|
||||||
margin-right: .5em;
|
|
||||||
flex-grow: 1;
|
|
||||||
flex-basis: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-rule-section {
|
|
||||||
.bergamot-rule-section-name {
|
|
||||||
text-align: center;
|
|
||||||
margin: 0.25em;
|
|
||||||
font-weight: bold;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-proof-tree {
|
|
||||||
overflow: auto;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-error {
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 0.5rem;
|
|
||||||
border-color: tomato;
|
|
||||||
background-color: rgba(tomato, 0.25);
|
|
||||||
margin-top: 1rem;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-selector {
|
|
||||||
button {
|
|
||||||
@include var(background-color, background-color);
|
|
||||||
@include var(color, text-color);
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 0.5rem;
|
|
||||||
font-family: $font-body;
|
|
||||||
border-style: dotted;
|
|
||||||
|
|
||||||
&.active {
|
|
||||||
border-color: $primary-color;
|
|
||||||
border-style: solid;
|
|
||||||
font-weight: bold;
|
|
||||||
}
|
|
||||||
|
|
||||||
&:not(:first-child) {
|
|
||||||
border-bottom-left-radius: 0;
|
|
||||||
border-top-left-radius: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
&:not(:last-child) {
|
|
||||||
border-bottom-right-radius: 0;
|
|
||||||
border-top-right-radius: 0;
|
|
||||||
border-right-width: 0;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
button.active + button {
|
|
||||||
border-left-color: $primary-color;
|
|
||||||
border-left-style: solid;
|
|
||||||
}
|
|
||||||
|
|
||||||
margin-bottom: 1rem;
|
|
||||||
}
|
|
||||||
|
|
||||||
.bergamot-no-proofs {
|
|
||||||
text-align: center;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
@@ -1,5 +1,10 @@
|
|||||||
@import "variables.scss";
|
@import "variables.scss";
|
||||||
|
|
||||||
|
$code-color-lineno: grey;
|
||||||
|
$code-color-keyword: black;
|
||||||
|
$code-color-type: black;
|
||||||
|
$code-color-comment: grey;
|
||||||
|
|
||||||
.highlight-label {
|
.highlight-label {
|
||||||
padding: 0.25rem 0.5rem 0.25rem 0.5rem;
|
padding: 0.25rem 0.5rem 0.25rem 0.5rem;
|
||||||
border: $code-border;
|
border: $code-border;
|
||||||
@@ -15,10 +20,10 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
code {
|
code {
|
||||||
font-family: $font-code;
|
font-family: $font-code;
|
||||||
@include var(background-color, code-color);
|
background-color: $code-color;
|
||||||
border: $code-border;
|
border: $code-border;
|
||||||
padding: 0 0.25rem 0 0.25rem;
|
padding: 0 0.25rem 0 0.25rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
pre code {
|
pre code {
|
||||||
@@ -32,22 +37,13 @@ pre code {
|
|||||||
.lntable {
|
.lntable {
|
||||||
border-spacing: 0;
|
border-spacing: 0;
|
||||||
padding: 0.5rem 0 0.5rem 0;
|
padding: 0.5rem 0 0.5rem 0;
|
||||||
@include var(background-color, code-color);
|
background-color: $code-color;
|
||||||
border-radius: 0;
|
border-radius: 0;
|
||||||
border: $code-border;
|
border: $code-border;
|
||||||
display: block;
|
display: block;
|
||||||
overflow: auto;
|
overflow: auto;
|
||||||
margin-bottom: 1rem;
|
margin-bottom: 1rem;
|
||||||
|
|
||||||
a {
|
|
||||||
color: inherit;
|
|
||||||
border: none;
|
|
||||||
|
|
||||||
&:hover, &:focus {
|
|
||||||
background-color: rgba($primary-color, 0.25);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
td {
|
td {
|
||||||
padding: 0;
|
padding: 0;
|
||||||
}
|
}
|
||||||
@@ -64,12 +60,6 @@ pre code {
|
|||||||
.lntd:last-child {
|
.lntd:last-child {
|
||||||
width: 100%;
|
width: 100%;
|
||||||
}
|
}
|
||||||
|
|
||||||
// Insert padding to match the distance of the line number to its
|
|
||||||
// border.
|
|
||||||
.line {
|
|
||||||
padding-left: $code-lineno-spacing;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.lntr {
|
.lntr {
|
||||||
@@ -78,39 +68,30 @@ pre code {
|
|||||||
|
|
||||||
.lnt {
|
.lnt {
|
||||||
display: block;
|
display: block;
|
||||||
padding: 0 $code-lineno-spacing 0 $code-lineno-spacing;
|
padding: 0 1rem 0 1rem;
|
||||||
@include var(color, code-lineno-color);
|
color: $code-color-lineno;
|
||||||
border-right: $standard-border;
|
|
||||||
|
|
||||||
// Even though only highlighted line table numbers get the 'star',
|
|
||||||
// insert a corresponding space on non-highlighted ones to keep
|
|
||||||
// spacing consistent.
|
|
||||||
&::before {
|
|
||||||
content: " ";
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.hl {
|
.hl {
|
||||||
display: block;
|
display: block;
|
||||||
@include var(background-color, code-highlight-color);
|
background-color: #fffd99;
|
||||||
|
|
||||||
.lnt {
|
.lnt::before {
|
||||||
border-left-color: $border-color;
|
content: "*";
|
||||||
&::before {
|
|
||||||
content: "*";
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.kr, .kd, .k {
|
.kr, .k {
|
||||||
@include var(color, code-keyword-color);
|
font-weight: bold;
|
||||||
|
color: $code-color-keyword;
|
||||||
}
|
}
|
||||||
|
|
||||||
.kt {
|
.kt {
|
||||||
@include var(color, code-type-color);
|
font-weight: bold;
|
||||||
|
color: $code-color-type;
|
||||||
}
|
}
|
||||||
|
|
||||||
.c, .c1, .cm {
|
.c, .c1 {
|
||||||
@include var(color, code-comment-color);
|
color: $code-color-comment;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,65 +0,0 @@
|
|||||||
@mixin font-inconsolata($weight) {
|
|
||||||
@font-face {
|
|
||||||
font-family: 'Inconsolata';
|
|
||||||
font-display: swap;
|
|
||||||
font-weight: $weight;
|
|
||||||
src: local('Inconsolata'),
|
|
||||||
url('../fonts/gen/Inconsolata-#{$weight}.woff2');
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
@mixin font-lora {
|
|
||||||
@font-face {
|
|
||||||
font-family: 'Lora';
|
|
||||||
font-display: swap;
|
|
||||||
src: local('Lora'),
|
|
||||||
url('../fonts/gen/Lora-Regular.woff2'),
|
|
||||||
url('../fonts/gen/Lora-Italic.woff2');
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
@mixin font-raleway($weight) {
|
|
||||||
@font-face {
|
|
||||||
font-family: 'Raleway';
|
|
||||||
font-display: swap;
|
|
||||||
font-weight: $weight;
|
|
||||||
src: local('Raleway'),
|
|
||||||
url('../fonts/gen/Raleway-#{$weight}.woff2'),
|
|
||||||
url('../fonts/gen/Raleway-#{$weight}-Italic.woff2');
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
@mixin font-stixgeneral {
|
|
||||||
@font-face {
|
|
||||||
font-family: 'STIXGeneral';
|
|
||||||
font-display: swap;
|
|
||||||
src: local('STIXGeneral-Regular'),
|
|
||||||
url('../fonts/STIXGeneral-Regular.ttf');
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
@include font-inconsolata(400);
|
|
||||||
@include font-lora();
|
|
||||||
@include font-raleway(400);
|
|
||||||
@include font-raleway(700);
|
|
||||||
@include font-stixgeneral();
|
|
||||||
|
|
||||||
/* Generated from chatgpt-adjust-fallback.py */
|
|
||||||
|
|
||||||
@font-face {
|
|
||||||
font-family: "Raleway Fallback";
|
|
||||||
src: local("Arial");
|
|
||||||
size-adjust: 100.09%;
|
|
||||||
ascent-override: 94.00%;
|
|
||||||
descent-override: 23.40%;
|
|
||||||
line-gap-override: 0.00%;
|
|
||||||
}
|
|
||||||
|
|
||||||
@font-face {
|
|
||||||
font-family: "Lora Fallback";
|
|
||||||
src: local("Times New Roman");
|
|
||||||
size-adjust: 111.79%;
|
|
||||||
ascent-override: 100.60%;
|
|
||||||
descent-override: 27.40%;
|
|
||||||
line-gap-override: 0.00%;
|
|
||||||
}
|
|
||||||
@@ -1,16 +1,16 @@
|
|||||||
@import "variables.scss";
|
@import "variables.scss";
|
||||||
@import "mixins.scss";
|
@import "mixins.scss";
|
||||||
|
|
||||||
|
$margin-width: 30rem;
|
||||||
|
$margin-inner-offset: 0.5rem;
|
||||||
|
$margin-outer-offset: 1rem;
|
||||||
|
|
||||||
@mixin below-two-margins {
|
@mixin below-two-margins {
|
||||||
@media screen and
|
@media screen and
|
||||||
(max-width: $container-width-threshold +
|
(max-width: $container-width-threshold +
|
||||||
2 * ($margin-width + $margin-inner-offset + $margin-outer-offset)) {
|
2 * ($margin-width + $margin-inner-offset + $margin-outer-offset)) {
|
||||||
@content;
|
@content;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media print {
|
|
||||||
@content;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
@mixin below-one-margin {
|
@mixin below-one-margin {
|
||||||
@@ -19,10 +19,6 @@
|
|||||||
($margin-width + $margin-inner-offset + $margin-outer-offset)) {
|
($margin-width + $margin-inner-offset + $margin-outer-offset)) {
|
||||||
@content;
|
@content;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media print {
|
|
||||||
@content;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
@mixin margin-content {
|
@mixin margin-content {
|
||||||
|
|||||||
@@ -6,27 +6,8 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
@mixin below-container-width {
|
@mixin below-container-width {
|
||||||
@media screen and (max-width: $container-width-threshold) {
|
@media screen and (max-width: $container-width-threshold){
|
||||||
@content;
|
@content;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@mixin green-shadow {
|
|
||||||
box-shadow: 0px 0px 5px rgba($primary-color, 0.7);
|
|
||||||
}
|
|
||||||
|
|
||||||
@mixin textual-input {
|
|
||||||
@include bordered-block;
|
|
||||||
box-sizing: border-box;
|
|
||||||
@include var(background-color, background-color);
|
|
||||||
@include var(color, text-color);
|
|
||||||
font-family: $font-body;
|
|
||||||
padding: $input-padding;
|
|
||||||
|
|
||||||
&:active, &:focus {
|
|
||||||
@include green-shadow;
|
|
||||||
border-color: $primary-color;
|
|
||||||
}
|
|
||||||
|
|
||||||
flex-grow: 1;
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -1,24 +0,0 @@
|
|||||||
:root {
|
|
||||||
@each $varName, $varDefault in $css-vars {
|
|
||||||
--#{$varName}: #{$varDefault};
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
@media (prefers-color-scheme: dark) {
|
|
||||||
:root {
|
|
||||||
--background-color: #{$background-color-dark};
|
|
||||||
--text-color: white;
|
|
||||||
|
|
||||||
--warning-background-color: #{$warning-background-color-dark};
|
|
||||||
--warning-border-color: #{$warning-border-color-dark};
|
|
||||||
|
|
||||||
--target-background-color: #{$target-background-color-dark};
|
|
||||||
|
|
||||||
--code-color: #{$code-color-dark};
|
|
||||||
--code-lineno-color: white;
|
|
||||||
--code-keyword-color: #{$code-token-color-dark};
|
|
||||||
--code-comment-color: #{$code-comment-color-dark};
|
|
||||||
--code-type-color: #{$code-token-color-dark};
|
|
||||||
--code-highlight-color: #{$code-highlight-color-dark};
|
|
||||||
}
|
|
||||||
}
|
|
||||||
@@ -1,8 +1,13 @@
|
|||||||
@import "variables.scss";
|
@import "variables.scss";
|
||||||
@import "mixins.scss";
|
@import "mixins.scss";
|
||||||
|
|
||||||
|
$search-input-padding: 0.5rem;
|
||||||
$search-element-padding: 0.5rem 1rem 0.5rem 1rem;
|
$search-element-padding: 0.5rem 1rem 0.5rem 1rem;
|
||||||
|
|
||||||
|
@mixin green-shadow {
|
||||||
|
box-shadow: 0px 0px 5px rgba($primary-color, 0.7);
|
||||||
|
}
|
||||||
|
|
||||||
.stork-wrapper {
|
.stork-wrapper {
|
||||||
margin-top: 0.5rem;
|
margin-top: 0.5rem;
|
||||||
margin-bottom: 0.5rem;
|
margin-bottom: 0.5rem;
|
||||||
@@ -15,16 +20,24 @@ $search-element-padding: 0.5rem 1rem 0.5rem 1rem;
|
|||||||
}
|
}
|
||||||
|
|
||||||
input.stork-input {
|
input.stork-input {
|
||||||
@include textual-input;
|
@include bordered-block;
|
||||||
|
font-family: $font-body;
|
||||||
|
padding: $search-input-padding;
|
||||||
|
|
||||||
|
&:active, &:focus {
|
||||||
|
@include green-shadow;
|
||||||
|
border-color: $primary-color;
|
||||||
|
}
|
||||||
|
|
||||||
|
flex-grow: 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
.stork-close-button {
|
.stork-close-button {
|
||||||
@include bordered-block;
|
@include bordered-block;
|
||||||
@include var(background-color, background-color);
|
|
||||||
@include var(color, text-color);
|
|
||||||
font-family: $font-body;
|
font-family: $font-body;
|
||||||
padding: $input-padding;
|
padding: $search-input-padding;
|
||||||
|
|
||||||
|
background-color: $code-color;
|
||||||
padding-left: 1.5rem;
|
padding-left: 1.5rem;
|
||||||
padding-right: 1.5rem;
|
padding-right: 1.5rem;
|
||||||
|
|
||||||
@@ -43,7 +56,7 @@ input.stork-input {
|
|||||||
padding: $search-element-padding;
|
padding: $search-element-padding;
|
||||||
}
|
}
|
||||||
|
|
||||||
.stork-message:not(:last-child), .stork-result {
|
.stork-message:not(:last-child), .stork-result {
|
||||||
border-bottom: $standard-border;
|
border-bottom: $standard-border;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -56,11 +69,11 @@ input.stork-input {
|
|||||||
list-style: none;
|
list-style: none;
|
||||||
|
|
||||||
&.selected {
|
&.selected {
|
||||||
@include var(background-color, code-color);
|
background-color: $code-color;
|
||||||
}
|
}
|
||||||
|
|
||||||
a:hover {
|
a:hover {
|
||||||
@include var(color, text-color);
|
color: black;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -2,6 +2,9 @@
|
|||||||
@import "mixins.scss";
|
@import "mixins.scss";
|
||||||
@import "margin.scss";
|
@import "margin.scss";
|
||||||
|
|
||||||
|
$sidenote-padding: 1rem;
|
||||||
|
$sidenote-highlight-border-width: .2rem;
|
||||||
|
|
||||||
.sidenote {
|
.sidenote {
|
||||||
&:hover {
|
&:hover {
|
||||||
.sidenote-label {
|
.sidenote-label {
|
||||||
@@ -48,20 +51,13 @@
|
|||||||
|
|
||||||
@mixin hidden-sidenote {
|
@mixin hidden-sidenote {
|
||||||
position: static;
|
position: static;
|
||||||
// Author can override margin inline to shift sidenote, but when displayed
|
margin-top: 1rem;
|
||||||
// on mobile (and thus, between text), shifting it would overlap it
|
|
||||||
// with text, so override the shift.
|
|
||||||
margin-top: 1rem !important;
|
|
||||||
margin-bottom: 1rem;
|
margin-bottom: 1rem;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
|
|
||||||
.sidenote-checkbox:checked ~ & {
|
.sidenote-checkbox:checked ~ & {
|
||||||
display: block;
|
display: block;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media print {
|
|
||||||
display: block;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
@include below-two-margins {
|
@include below-two-margins {
|
||||||
|
|||||||
@@ -1,180 +1,146 @@
|
|||||||
@import "variables.scss";
|
@import "variables.scss";
|
||||||
@import "mixins.scss";
|
@import "mixins.scss";
|
||||||
@import "toc.scss";
|
@import "toc.scss";
|
||||||
@import "modes.scss";
|
|
||||||
|
|
||||||
body {
|
body {
|
||||||
@include var(background-color, background-color);
|
font-family: $font-body;
|
||||||
@include var(color, text-color);
|
font-size: 1.0rem;
|
||||||
font-family: $font-body;
|
line-height: 1.5;
|
||||||
font-size: 1.0rem;
|
margin-bottom: 1rem;
|
||||||
line-height: 1.5;
|
text-align: justify;
|
||||||
margin-bottom: 1rem;
|
|
||||||
text-align: justify;
|
|
||||||
|
|
||||||
@include below-container-width {
|
@include below-container-width {
|
||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
h1, h2, h3, h4, h5, h6 {
|
h1, h2, h3, h4, h5, h6 {
|
||||||
margin-bottom: .1rem;
|
margin-bottom: .1rem;
|
||||||
margin-top: .5rem;
|
margin-top: .5rem;
|
||||||
font-family: $font-heading;
|
font-family: $font-heading;
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
text-align: center;
|
text-align: center;
|
||||||
|
|
||||||
&:target {
|
&:target {
|
||||||
@include var(background-color, target-background-color);
|
background-color: lighten(yellow, 30%);
|
||||||
border-radius: 1rem;
|
border-radius: 1rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
a {
|
a {
|
||||||
border-bottom: none;
|
border-bottom: none;
|
||||||
|
|
||||||
&:hover {
|
&:hover {
|
||||||
color: $primary-color;
|
color: $primary-color;
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
p {
|
|
||||||
&:target {
|
|
||||||
@include var(background-color, target-background-color);
|
|
||||||
border-radius: 0.25rem;
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.container {
|
.container {
|
||||||
position: relative;
|
position: relative;
|
||||||
margin: auto;
|
margin: auto;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
max-width: $container-width;
|
max-width: $container-width;
|
||||||
box-sizing: border-box;
|
box-sizing: border-box;
|
||||||
|
|
||||||
@include below-container-width {
|
@include below-container-width {
|
||||||
padding: 0 $container-min-padding 0 $container-min-padding;
|
padding: 0 $container-min-padding 0 $container-min-padding;
|
||||||
margin: 0;
|
margin: 0;
|
||||||
max-width: $container-width + 2 * $container-min-padding;
|
max-width: $container-width + 2 * $container-min-padding;
|
||||||
}
|
}
|
||||||
|
|
||||||
@include below-two-margins {
|
@include below-two-margins {
|
||||||
left: -($margin-width + $margin-inner-offset + $margin-outer-offset) / 2;
|
left: -($margin-width + $margin-inner-offset + $margin-outer-offset)/2;
|
||||||
}
|
}
|
||||||
|
|
||||||
@include below-one-margin {
|
@include below-one-margin {
|
||||||
left: 0;
|
left: 0;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.tag-list {
|
.button, input[type="submit"] {
|
||||||
display: flex;
|
padding: 0.5rem;
|
||||||
flex-wrap: wrap;
|
background-color: $primary-color;
|
||||||
gap: 0.5rem 0.25rem;
|
border: none;
|
||||||
justify-content: center;
|
color: white;
|
||||||
}
|
transition: color 0.25s, background-color 0.25s;
|
||||||
|
text-align: left;
|
||||||
|
|
||||||
.tag {
|
&:focus {
|
||||||
@include var(color, text-color);
|
outline: none;
|
||||||
padding: 0.5rem;
|
}
|
||||||
border: 1px solid $primary-color;
|
|
||||||
transition: color 0.25s, background-color 0.25s;
|
|
||||||
text-align: left;
|
|
||||||
display: block;
|
|
||||||
|
|
||||||
&:focus {
|
&:hover, &:focus {
|
||||||
outline: none;
|
background-color: white;
|
||||||
}
|
color: $primary-color;
|
||||||
|
}
|
||||||
&:hover, &:focus {
|
|
||||||
background-color: rgba($primary-color, 0.2);
|
|
||||||
@include var(color, text-color);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.input[type="text"], textarea {
|
|
||||||
@include textual-input;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
nav {
|
nav {
|
||||||
width: 100%;
|
width: 100%;
|
||||||
margin: 0rem 0rem 1rem 0rem;
|
margin: 0rem 0rem 1rem 0rem;
|
||||||
|
|
||||||
.container {
|
.container {
|
||||||
display: flex;
|
display: flex;
|
||||||
justify-content: center;
|
justify-content: center;
|
||||||
flex-wrap: wrap;
|
flex-wrap: wrap;
|
||||||
}
|
}
|
||||||
|
|
||||||
a {
|
a {
|
||||||
padding: 0.25rem 0.75rem 0.25rem .75rem;
|
padding: 0.25rem 0.75rem 0.25rem .75rem;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
@include var(color, text-color);
|
color: black;
|
||||||
display: inline-block;
|
display: inline-block;
|
||||||
border-bottom: none;
|
border-bottom: none;
|
||||||
white-space: nowrap;
|
white-space: nowrap;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.post-subscript {
|
.post-subscript {
|
||||||
text-align: center;
|
color: #8f8f8f;
|
||||||
|
text-align: center;
|
||||||
}
|
}
|
||||||
|
|
||||||
.post-content {
|
.post-content {
|
||||||
margin-top: .5rem;
|
margin-top: .5rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h1 {
|
h1 {
|
||||||
font-size: 3.0rem;
|
font-size: 3.0rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h2 {
|
h2 {
|
||||||
font-size: 2.6rem;
|
font-size: 2.6rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h3 {
|
h3 {
|
||||||
font-size: 2.2rem;
|
font-size: 2.2rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h4 {
|
h4 {
|
||||||
font-size: 1.8rem;
|
font-size: 1.8rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h5 {
|
h5 {
|
||||||
font-size: 1.4rem;
|
font-size: 1.4rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
h6 {
|
h6 {
|
||||||
font-size: 1.0rem;
|
font-size: 1.0rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
a {
|
a {
|
||||||
@include var(color, text-color);
|
color: black;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
border-bottom: .2rem solid $primary-color;
|
border-bottom: .2rem solid $primary-color;
|
||||||
|
transition: color 0.25s;
|
||||||
|
|
||||||
&:hover {
|
&:hover {
|
||||||
color: $primary-color;
|
color: $primary-color;
|
||||||
transition: color 0.25s;
|
}
|
||||||
}
|
|
||||||
|
|
||||||
&.external-link, &.same-page-link {
|
|
||||||
.feather {
|
|
||||||
fill: none;
|
|
||||||
margin-left: 0.25rem;
|
|
||||||
position: relative;
|
|
||||||
top: 0.125em;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.draft-link {
|
|
||||||
border-bottom: .2rem solid $border-color;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
img {
|
img {
|
||||||
max-width: 100%;
|
max-width: 100%
|
||||||
background-color: white;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
table {
|
table {
|
||||||
@@ -200,6 +166,7 @@ td {
|
|||||||
|
|
||||||
td, th {
|
td, th {
|
||||||
padding: 0.5rem;
|
padding: 0.5rem;
|
||||||
|
vertical-align: top;
|
||||||
}
|
}
|
||||||
|
|
||||||
div.highlight tr {
|
div.highlight tr {
|
||||||
@@ -248,32 +215,9 @@ ul.post-list {
|
|||||||
display: block;
|
display: block;
|
||||||
}
|
}
|
||||||
|
|
||||||
p.post-status {
|
p.post-wordcount {
|
||||||
margin-bottom: 0.2rem;
|
|
||||||
margin-top: 0.2rem;
|
|
||||||
}
|
|
||||||
|
|
||||||
p.post-wordcount, p.post-status {
|
|
||||||
text-align: center;
|
text-align: center;
|
||||||
margin-bottom: 1rem;
|
margin-bottom: 0.6rem;
|
||||||
}
|
|
||||||
|
|
||||||
.series-link {
|
|
||||||
display: flex;
|
|
||||||
align-items: center;
|
|
||||||
|
|
||||||
margin-top: 1rem;
|
|
||||||
font-size: 1.1rem;
|
|
||||||
border-top: $standard-border;
|
|
||||||
padding-top: 1rem;
|
|
||||||
|
|
||||||
.feather {
|
|
||||||
fill: none;
|
|
||||||
flex-shrink: 0;
|
|
||||||
width: 1em;
|
|
||||||
height: 1em;
|
|
||||||
margin-right: 0.5em;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -282,11 +226,7 @@ ul.post-list {
|
|||||||
}
|
}
|
||||||
|
|
||||||
figure {
|
figure {
|
||||||
break-inside: avoid;
|
|
||||||
|
|
||||||
img {
|
img {
|
||||||
border: $standard-border;
|
|
||||||
border-radius: 0.5rem;
|
|
||||||
max-width: 70%;
|
max-width: 70%;
|
||||||
display: block;
|
display: block;
|
||||||
margin: auto;
|
margin: auto;
|
||||||
@@ -315,43 +255,31 @@ figure {
|
|||||||
&.medium img {
|
&.medium img {
|
||||||
max-height: 30rem;
|
max-height: 30rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
&.fullwide {
|
|
||||||
margin-left: 0;
|
|
||||||
margin-right: 0;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.twitter-tweet {
|
.twitter-tweet {
|
||||||
margin: auto;
|
margin: auto;
|
||||||
}
|
}
|
||||||
|
|
||||||
.warning {
|
.draft-warning {
|
||||||
@include bordered-block;
|
@include bordered-block;
|
||||||
padding: 0.5rem;
|
padding: 0.5rem;
|
||||||
@include var(background-color, warning-background-color);
|
background-color: #ffee99;
|
||||||
@include var(border-color, warning-border-color);
|
border-color: #f5c827;
|
||||||
}
|
}
|
||||||
|
|
||||||
/*
|
|
||||||
Note: by absolute default (via inline CSS) feather icons are hidden.
|
|
||||||
That's because firefox reader mode doesn't play nice with them, and
|
|
||||||
it seems to ignore all styles in <head>. Then, the inline style
|
|
||||||
in <head> uses !important to restore the display of icons, but provides
|
|
||||||
limited styling. Here, we finally apply the full extent of the feather styles.
|
|
||||||
*/
|
|
||||||
.feather {
|
.feather {
|
||||||
width: 1rem;
|
width: 1rem;
|
||||||
height: 1rem;
|
height: 1rem;
|
||||||
stroke: currentColor;
|
stroke: currentColor;
|
||||||
stroke-width: 2;
|
stroke-width: 2;
|
||||||
stroke-linecap: round;
|
stroke-linecap: round;
|
||||||
stroke-linejoin: round;
|
stroke-linejoin: round;
|
||||||
fill: currentColor;
|
fill: currentColor;
|
||||||
}
|
}
|
||||||
|
|
||||||
.katex * {
|
.katex * {
|
||||||
font-family: unset;
|
font-family: unset;
|
||||||
}
|
}
|
||||||
|
|
||||||
.block {
|
.block {
|
||||||
@@ -363,7 +291,7 @@ figure {
|
|||||||
|
|
||||||
.dialog {
|
.dialog {
|
||||||
.message {
|
.message {
|
||||||
max-width: 0.8 * $container-width;
|
max-width: 0.8*$container-width;
|
||||||
margin-top: 0.5rem;
|
margin-top: 0.5rem;
|
||||||
display: flex;
|
display: flex;
|
||||||
flex-direction: row;
|
flex-direction: row;
|
||||||
@@ -390,118 +318,3 @@ figure {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.series-navigation {
|
|
||||||
margin-top: 1em;
|
|
||||||
display: flex;
|
|
||||||
flex-wrap: wrap;
|
|
||||||
|
|
||||||
.wrapper {
|
|
||||||
flex-grow: 1;
|
|
||||||
display: flex;
|
|
||||||
|
|
||||||
&.previous {
|
|
||||||
justify-content: left;
|
|
||||||
}
|
|
||||||
|
|
||||||
&.next {
|
|
||||||
justify-content: right;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
a, .ongoing-placeholder {
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 0.5em 1em 0.5em 1em;
|
|
||||||
font-size: 1.1em;
|
|
||||||
display: flex;
|
|
||||||
align-items: center;
|
|
||||||
margin-top: 1em;
|
|
||||||
|
|
||||||
.feather {
|
|
||||||
height: 1.25em;
|
|
||||||
width: 1.25em;
|
|
||||||
fill: none;
|
|
||||||
&:first-child { margin-right: 0.5em; }
|
|
||||||
&:last-child { margin-left: 0.5em; }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.ongoing-placeholder {
|
|
||||||
border-style: dashed;
|
|
||||||
}
|
|
||||||
|
|
||||||
div.title {
|
|
||||||
font-weight: bold;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.series-status {
|
|
||||||
&.suspended { --status-color: #f9b005; }
|
|
||||||
&.complete { --status-color: #3dc60b; }
|
|
||||||
&.ongoing { --status-color: #46a0ff; }
|
|
||||||
|
|
||||||
.series-status-keyword {
|
|
||||||
display: inline-block;
|
|
||||||
border-bottom: .2rem solid var(--status-color);
|
|
||||||
margin: 0 0.25rem 0 0.25rem;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
details {
|
|
||||||
@include bordered-block;
|
|
||||||
padding: 0.5rem 0.5rem 0 0.5rem;
|
|
||||||
|
|
||||||
&[open] {
|
|
||||||
padding-bottom: 0.5rem;
|
|
||||||
|
|
||||||
summary {
|
|
||||||
border-bottom: $standard-border;
|
|
||||||
margin-bottom: 0.5rem;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
summary {
|
|
||||||
margin: 0 -0.5rem 0 -0.5rem;
|
|
||||||
padding: 0.5rem;
|
|
||||||
padding-top: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
blockquote {
|
|
||||||
border-left: (3 * $standard-border-width) solid $primary-color;
|
|
||||||
margin-left: 0;
|
|
||||||
padding-left: 1rem;
|
|
||||||
}
|
|
||||||
|
|
||||||
.early-navigation-wrapper {
|
|
||||||
margin-bottom: 3rem;
|
|
||||||
}
|
|
||||||
|
|
||||||
.side-by-side {
|
|
||||||
display: flex;
|
|
||||||
}
|
|
||||||
|
|
||||||
.side-by-side-item {
|
|
||||||
flex-basis: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
.internal-ref {
|
|
||||||
text-decoration: underline;
|
|
||||||
break-inside: avoid;
|
|
||||||
|
|
||||||
&:target {
|
|
||||||
@include var(background-color, target-background-color);
|
|
||||||
border-radius: 1rem;
|
|
||||||
|
|
||||||
.internal-ref-counter {
|
|
||||||
@include var(background-color, target-background-color);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.internal-ref-counter {
|
|
||||||
display: inline-block;
|
|
||||||
border: $standard-border;
|
|
||||||
border-radius: 0.5rem;
|
|
||||||
padding: 0 0.25rem 0 0.25rem;
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -2,6 +2,9 @@
|
|||||||
@import "mixins.scss";
|
@import "mixins.scss";
|
||||||
@import "margin.scss";
|
@import "margin.scss";
|
||||||
|
|
||||||
|
$toc-color: $code-color;
|
||||||
|
$toc-border-color: $code-border-color;
|
||||||
|
|
||||||
.table-of-contents {
|
.table-of-contents {
|
||||||
@include margin-content;
|
@include margin-content;
|
||||||
@include margin-content-left;
|
@include margin-content-left;
|
||||||
@@ -9,7 +12,6 @@
|
|||||||
flex-direction: column;
|
flex-direction: column;
|
||||||
align-items: flex-end;
|
align-items: flex-end;
|
||||||
margin-bottom: 1rem;
|
margin-bottom: 1rem;
|
||||||
text-align: left;
|
|
||||||
|
|
||||||
em {
|
em {
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
@@ -35,15 +37,12 @@
|
|||||||
|
|
||||||
a {
|
a {
|
||||||
padding: 0;
|
padding: 0;
|
||||||
white-space: normal;
|
|
||||||
margin-left: 0.5rem;
|
|
||||||
text-indent: -0.5rem;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
div.wrapper {
|
div.wrapper {
|
||||||
@include bordered-block;
|
@include bordered-block;
|
||||||
padding: 1rem;
|
padding: 1rem;
|
||||||
@include var(background-color, code-color);
|
background-color: $toc-color;
|
||||||
border-color: $toc-border-color;
|
border-color: $toc-border-color;
|
||||||
box-sizing: border-box;
|
box-sizing: border-box;
|
||||||
max-width: 100%;
|
max-width: 100%;
|
||||||
|
|||||||
@@ -1,69 +1,16 @@
|
|||||||
$container-width: 45rem;
|
$container-width: 45rem;
|
||||||
$container-min-padding: 1rem;
|
$container-min-padding: 1rem;
|
||||||
$container-width-threshold: $container-width + 2 * $container-min-padding;
|
$container-width-threshold: $container-width + 2 * $container-min-padding;
|
||||||
|
$standard-border-width: .075rem;
|
||||||
|
|
||||||
$primary-color: #36e281;
|
$primary-color: #36e281;
|
||||||
$border-color: #bfbfbf;
|
$border-color: #bfbfbf;
|
||||||
$background-color: white;
|
|
||||||
$background-color-dark: #1b1d1f;
|
|
||||||
$standard-border-width: .075rem;
|
|
||||||
$standard-border: $standard-border-width solid $border-color;
|
|
||||||
|
|
||||||
$font-heading: "Lora", "Lora Fallback", serif;
|
|
||||||
$font-body: "Raleway", "Raleway Fallback", sans-serif;
|
|
||||||
$font-code: "Inconsolata", monospace, "STIXGeneral";
|
|
||||||
|
|
||||||
$warning-background-color: #ffee99;
|
|
||||||
$warning-border-color: #f5c827;
|
|
||||||
$warning-background-color-dark: #75640a;
|
|
||||||
$warning-border-color-dark: $warning-background-color;
|
|
||||||
|
|
||||||
$target-background-color: lighten(yellow, 30%);
|
|
||||||
$target-background-color-dark: #55511c;
|
|
||||||
|
|
||||||
$code-color: #f0f0f0;
|
$code-color: #f0f0f0;
|
||||||
$code-color-dark: lighten($background-color-dark, 10%);
|
|
||||||
$code-token-color: darken($primary-color, 25%);
|
|
||||||
$code-token-color-dark: $primary-color;
|
|
||||||
$code-highlight-color: #fffd99;
|
|
||||||
$code-highlight-color-dark: #555538;
|
|
||||||
$code-border-color: darken($code-color, 10%);
|
$code-border-color: darken($code-color, 10%);
|
||||||
$code-lineno-color: black;
|
|
||||||
$code-lineno-spacing: 1rem;
|
$font-heading: "Lora", serif;
|
||||||
$code-comment-color: grey;
|
$font-body: "Raleway", serif;
|
||||||
$code-comment-color-dark: #68dcff;
|
$font-code: "Inconsolata", monospace;
|
||||||
|
|
||||||
|
$standard-border: $standard-border-width solid $border-color;
|
||||||
$code-border: $standard-border-width solid $code-border-color;
|
$code-border: $standard-border-width solid $code-border-color;
|
||||||
|
|
||||||
$input-padding: 0.5rem;
|
|
||||||
|
|
||||||
$sidenote-padding: 1rem;
|
|
||||||
$sidenote-highlight-border-width: .2rem;
|
|
||||||
|
|
||||||
$margin-width: 30rem;
|
|
||||||
$margin-inner-offset: 0.5rem;
|
|
||||||
$margin-outer-offset: 1rem;
|
|
||||||
|
|
||||||
$toc-border-color: $code-border-color;
|
|
||||||
|
|
||||||
// Default values for CSS variables for fallback.
|
|
||||||
$css-vars: (
|
|
||||||
background-color: $background-color,
|
|
||||||
text-color: black,
|
|
||||||
|
|
||||||
warning-background-color: $warning-background-color,
|
|
||||||
warning-border-color: $warning-border-color,
|
|
||||||
|
|
||||||
target-background-color: $target-background-color,
|
|
||||||
|
|
||||||
code-color: $code-color,
|
|
||||||
code-lineno-color: $code-lineno-color,
|
|
||||||
code-keyword-color: $code-token-color,
|
|
||||||
code-comment-color: $code-comment-color,
|
|
||||||
code-type-color: $code-token-color,
|
|
||||||
code-highlight-color: $code-highlight-color,
|
|
||||||
);
|
|
||||||
|
|
||||||
@mixin var($property, $varName) {
|
|
||||||
#{$property}: map-get($css-vars, $varName);
|
|
||||||
#{$property}: var(--#{$varName});
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -1,47 +0,0 @@
|
|||||||
@import "variables.scss";
|
|
||||||
|
|
||||||
body {
|
|
||||||
background-color: #1c1e26;
|
|
||||||
--text-color: white;
|
|
||||||
font-family: $font-code;
|
|
||||||
}
|
|
||||||
|
|
||||||
h1, h2, h3, h4, h5, h6 {
|
|
||||||
text-align: left;
|
|
||||||
font-family: $font-code;
|
|
||||||
}
|
|
||||||
|
|
||||||
h1::after {
|
|
||||||
content: "(writing)";
|
|
||||||
font-size: 1rem;
|
|
||||||
margin-left: 0.5em;
|
|
||||||
position: relative;
|
|
||||||
bottom: -0.5em;
|
|
||||||
color: $primary-color;
|
|
||||||
}
|
|
||||||
|
|
||||||
nav .container {
|
|
||||||
justify-content: flex-start;
|
|
||||||
|
|
||||||
a {
|
|
||||||
padding-left: 0;
|
|
||||||
margin-right: 1em;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
.header-divider {
|
|
||||||
visibility: hidden;
|
|
||||||
}
|
|
||||||
|
|
||||||
hr {
|
|
||||||
height: auto;
|
|
||||||
border: none;
|
|
||||||
|
|
||||||
&::after {
|
|
||||||
content: "* * *";
|
|
||||||
color: $primary-color;
|
|
||||||
font-size: 2rem;
|
|
||||||
display: block;
|
|
||||||
text-align: center;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
115
banner.svg
115
banner.svg
@@ -1,115 +0,0 @@
|
|||||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
||||||
<!-- Created with Inkscape (http://www.inkscape.org/) -->
|
|
||||||
|
|
||||||
<svg
|
|
||||||
width="297mm"
|
|
||||||
height="210mm"
|
|
||||||
viewBox="0 0 297 210"
|
|
||||||
version="1.1"
|
|
||||||
id="svg1"
|
|
||||||
inkscape:version="1.4.2 (ebf0e940, 2025-05-08)"
|
|
||||||
sodipodi:docname="banner.svg"
|
|
||||||
inkscape:export-filename="banner-source.png"
|
|
||||||
inkscape:export-xdpi="96"
|
|
||||||
inkscape:export-ydpi="96"
|
|
||||||
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
|
||||||
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
|
|
||||||
xmlns="http://www.w3.org/2000/svg"
|
|
||||||
xmlns:svg="http://www.w3.org/2000/svg">
|
|
||||||
<sodipodi:namedview
|
|
||||||
id="namedview1"
|
|
||||||
pagecolor="#ffffff"
|
|
||||||
bordercolor="#000000"
|
|
||||||
borderopacity="0.25"
|
|
||||||
inkscape:showpageshadow="2"
|
|
||||||
inkscape:pageopacity="0.0"
|
|
||||||
inkscape:pagecheckerboard="0"
|
|
||||||
inkscape:deskcolor="#d1d1d1"
|
|
||||||
inkscape:document-units="mm"
|
|
||||||
inkscape:zoom="1.7079029"
|
|
||||||
inkscape:cx="501.78498"
|
|
||||||
inkscape:cy="465.77591"
|
|
||||||
inkscape:window-width="1728"
|
|
||||||
inkscape:window-height="996"
|
|
||||||
inkscape:window-x="0"
|
|
||||||
inkscape:window-y="38"
|
|
||||||
inkscape:window-maximized="1"
|
|
||||||
inkscape:current-layer="layer1"
|
|
||||||
showgrid="false"
|
|
||||||
inkscape:export-bgcolor="#ffffffff" />
|
|
||||||
<defs
|
|
||||||
id="defs1">
|
|
||||||
<rect
|
|
||||||
x="49.549049"
|
|
||||||
y="153.15161"
|
|
||||||
width="826.85009"
|
|
||||||
height="237.77854"
|
|
||||||
id="rect8" />
|
|
||||||
<rect
|
|
||||||
x="49.549049"
|
|
||||||
y="111.10999"
|
|
||||||
width="678.67182"
|
|
||||||
height="524.01873"
|
|
||||||
id="rect7" />
|
|
||||||
<rect
|
|
||||||
x="244.20348"
|
|
||||||
y="346.16049"
|
|
||||||
width="287.95187"
|
|
||||||
height="438.00638"
|
|
||||||
id="rect4" />
|
|
||||||
<rect
|
|
||||||
x="244.20348"
|
|
||||||
y="346.16049"
|
|
||||||
width="414.25137"
|
|
||||||
height="418.77991"
|
|
||||||
id="rect4-6" />
|
|
||||||
<rect
|
|
||||||
x="244.20348"
|
|
||||||
y="346.16049"
|
|
||||||
width="414.25137"
|
|
||||||
height="418.77991"
|
|
||||||
id="rect4-6-1" />
|
|
||||||
</defs>
|
|
||||||
<g
|
|
||||||
inkscape:label="Layer 1"
|
|
||||||
inkscape:groupmode="layer"
|
|
||||||
id="layer1">
|
|
||||||
<circle
|
|
||||||
style="fill:#36e281;fill-opacity:1;stroke:#36e281;stroke-width:4.33532;stroke-dasharray:none;stroke-opacity:1"
|
|
||||||
id="path3"
|
|
||||||
cy="91.614052"
|
|
||||||
cx="148.5"
|
|
||||||
r="36.96402" />
|
|
||||||
<path
|
|
||||||
id="path3-3-6"
|
|
||||||
style="fill:#ffffff;stroke:#36e281;stroke-width:4.33532;stroke-dasharray:none;stroke-opacity:1;stroke-linecap:round"
|
|
||||||
d="m 148.49869,128.57807 c -13.20597,0 -25.40879,-7.0453 -32.01177,-18.48201 -6.60299,-11.436707 -6.60299,-25.527312 0,-36.964017 6.60298,-11.436705 18.8058,-18.482007 32.01177,-18.482007"
|
|
||||||
sodipodi:nodetypes="cssc" />
|
|
||||||
<text
|
|
||||||
xml:space="preserve"
|
|
||||||
transform="matrix(-0.15711337,0,0,0.19685436,189.77821,-5.4885608)"
|
|
||||||
id="text4-3"
|
|
||||||
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:253.455px;font-family:Helvetica;-inkscape-font-specification:'Helvetica Bold';text-align:start;writing-mode:lr-tb;direction:ltr;white-space:pre;shape-inside:url(#rect4-6);display:inline;fill:#36e281;fill-opacity:1;stroke:#36e281;stroke-width:1.37953;stroke-opacity:1"><tspan
|
|
||||||
x="244.20312"
|
|
||||||
y="584.4805"
|
|
||||||
id="tspan5">D</tspan></text>
|
|
||||||
<text
|
|
||||||
xml:space="preserve"
|
|
||||||
transform="matrix(0.15711337,0,0,0.19685436,107.21917,-5.5129228)"
|
|
||||||
id="text4-3-2"
|
|
||||||
style="font-size:253.455px;text-align:start;writing-mode:lr-tb;direction:ltr;white-space:pre;shape-inside:url(#rect4-6-1);display:inline;fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:1.37953;stroke-opacity:1"><tspan
|
|
||||||
x="244.20312"
|
|
||||||
y="584.4805"
|
|
||||||
id="tspan7"><tspan
|
|
||||||
style="font-weight:bold;font-family:Helvetica;-inkscape-font-specification:'Helvetica Bold'"
|
|
||||||
id="tspan6">F</tspan></tspan></text>
|
|
||||||
<text
|
|
||||||
xml:space="preserve"
|
|
||||||
transform="matrix(0.19664896,0,0,0.19664896,73.930049,102.60811)"
|
|
||||||
id="text8"
|
|
||||||
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:106.667px;font-family:Lora;-inkscape-font-specification:'Lora Bold';text-align:start;writing-mode:lr-tb;direction:ltr;white-space:pre;shape-inside:url(#rect8);display:inline;fill:#1a1a1a;fill-opacity:1;stroke:none;stroke-width:22.046"><tspan
|
|
||||||
x="49.548828"
|
|
||||||
y="250.31931"
|
|
||||||
id="tspan8">Daniel's Blog</tspan></text>
|
|
||||||
</g>
|
|
||||||
</svg>
|
|
||||||
|
Before Width: | Height: | Size: 4.3 KiB |
@@ -1,90 +0,0 @@
|
|||||||
"""
|
|
||||||
Generate @font-face settings to help make the fallback font look similar
|
|
||||||
to the non-fallback font.
|
|
||||||
|
|
||||||
Genererated by ChatGTP 5.2-instant. Not human-modified.
|
|
||||||
"""
|
|
||||||
|
|
||||||
from fontTools.ttLib import TTFont
|
|
||||||
|
|
||||||
USE_TYPO_METRICS = 1 << 7
|
|
||||||
|
|
||||||
def get_metrics(path):
|
|
||||||
font = TTFont(path)
|
|
||||||
|
|
||||||
head = font["head"]
|
|
||||||
os2 = font["OS/2"]
|
|
||||||
hhea = font["hhea"]
|
|
||||||
|
|
||||||
use_typo = bool(os2.fsSelection & USE_TYPO_METRICS)
|
|
||||||
|
|
||||||
if use_typo:
|
|
||||||
asc = os2.sTypoAscender
|
|
||||||
desc = os2.sTypoDescender
|
|
||||||
gap = os2.sTypoLineGap
|
|
||||||
source = "OS/2.sTypo*"
|
|
||||||
else:
|
|
||||||
asc = hhea.ascent
|
|
||||||
desc = -hhea.descent
|
|
||||||
gap = hhea.lineGap
|
|
||||||
source = "hhea.*"
|
|
||||||
|
|
||||||
# x-height ALWAYS comes from OS/2
|
|
||||||
if not hasattr(os2, "sxHeight") or os2.sxHeight <= 0:
|
|
||||||
raise ValueError(f"{path} has no usable sxHeight")
|
|
||||||
|
|
||||||
x_height = os2.sxHeight
|
|
||||||
|
|
||||||
print("Source", path, source)
|
|
||||||
|
|
||||||
return {
|
|
||||||
"unitsPerEm": head.unitsPerEm,
|
|
||||||
"ascender": asc,
|
|
||||||
"descender": desc,
|
|
||||||
"lineGap": gap,
|
|
||||||
"xHeight": x_height,
|
|
||||||
}
|
|
||||||
|
|
||||||
def compute_overrides(target, fallback):
|
|
||||||
# size-adjust: match x-height
|
|
||||||
size_adjust = (
|
|
||||||
(target["xHeight"] / target["unitsPerEm"]) /
|
|
||||||
(fallback["xHeight"] / fallback["unitsPerEm"])
|
|
||||||
)
|
|
||||||
|
|
||||||
# overrides: force target vertical metrics
|
|
||||||
ascent_override = target["ascender"] / target["unitsPerEm"]
|
|
||||||
descent_override = abs(target["descender"]) / target["unitsPerEm"]
|
|
||||||
line_gap_override = target["lineGap"] / target["unitsPerEm"]
|
|
||||||
|
|
||||||
return {
|
|
||||||
"size_adjust": size_adjust * 100,
|
|
||||||
"ascent_override": ascent_override * 100,
|
|
||||||
"descent_override": descent_override * 100,
|
|
||||||
"line_gap_override": line_gap_override * 100,
|
|
||||||
}
|
|
||||||
|
|
||||||
def emit_css(family_name, local_name, values):
|
|
||||||
return f"""
|
|
||||||
@font-face {{
|
|
||||||
font-family: "{family_name}";
|
|
||||||
src: local("{local_name}");
|
|
||||||
size-adjust: {values['size_adjust']:.2f}%;
|
|
||||||
ascent-override: {values['ascent_override']:.2f}%;
|
|
||||||
descent-override: {values['descent_override']:.2f}%;
|
|
||||||
line-gap-override: {values['line_gap_override']:.2f}%;
|
|
||||||
}}
|
|
||||||
""".strip()
|
|
||||||
|
|
||||||
# ---- Example usage ----
|
|
||||||
|
|
||||||
target = get_metrics("static/fonts/gen/Lora-Regular.woff2")
|
|
||||||
fallback = get_metrics("/System/Library/Fonts/Supplemental/Times New Roman.ttf")
|
|
||||||
|
|
||||||
values = compute_overrides(target, fallback)
|
|
||||||
|
|
||||||
print(emit_css(
|
|
||||||
family_name="Lora Fallback",
|
|
||||||
local_name="Times New Roman",
|
|
||||||
values=values,
|
|
||||||
))
|
|
||||||
@@ -1,69 +0,0 @@
|
|||||||
#!/usr/bin/env python3
|
|
||||||
|
|
||||||
"""
|
|
||||||
Instantiate variable fonts at specific weights/styles, producing static TTF files.
|
|
||||||
No subsetting, no recursive searching—just direct calls with hardcoded axis values.
|
|
||||||
Requires fontTools >= 4.0.
|
|
||||||
|
|
||||||
Genererated by ChatGTP o3-mini-high. Not human-modified.
|
|
||||||
"""
|
|
||||||
|
|
||||||
from fontTools.ttLib import TTFont
|
|
||||||
from fontTools.varLib.instancer import instantiateVariableFont
|
|
||||||
|
|
||||||
def instantiate_variable_font(input_font_path, axis_values, output_font_path):
|
|
||||||
"""
|
|
||||||
1) Loads a variable font from `input_font_path`.
|
|
||||||
2) Instantiates (flattens) it at the specified axis values (e.g. {"wght": 400}).
|
|
||||||
3) Saves the result as a static TTF at `output_font_path`.
|
|
||||||
"""
|
|
||||||
print(f"Instantiating {input_font_path} with axes={axis_values} -> {output_font_path}")
|
|
||||||
vf = TTFont(input_font_path)
|
|
||||||
static_font = instantiateVariableFont(vf, axis_values)
|
|
||||||
static_font.flavor = "woff2"
|
|
||||||
static_font.save(output_font_path)
|
|
||||||
|
|
||||||
def main():
|
|
||||||
# Inconsolata (Variable)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Inconsolata-VariableFont_wdth,wght.ttf",
|
|
||||||
{"wght": 400},
|
|
||||||
"Inconsolata-400.woff2"
|
|
||||||
)
|
|
||||||
|
|
||||||
# Lora (Variable, normal and italic)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Lora-VariableFont_wght.ttf",
|
|
||||||
{"wght": 400},
|
|
||||||
"Lora-Regular.woff2"
|
|
||||||
)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Lora-Italic-VariableFont_wght.ttf",
|
|
||||||
{"wght": 400},
|
|
||||||
"Lora-Italic.woff2"
|
|
||||||
)
|
|
||||||
|
|
||||||
# Raleway (Variable, normal and italic)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Raleway-VariableFont_wght.ttf",
|
|
||||||
{"wght": 400},
|
|
||||||
"Raleway-400.woff2"
|
|
||||||
)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Raleway-VariableFont_wght.ttf",
|
|
||||||
{"wght": 700},
|
|
||||||
"Raleway-700.woff2"
|
|
||||||
)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Raleway-Italic-VariableFont_wght.ttf",
|
|
||||||
{"wght": 400},
|
|
||||||
"Raleway-400-Italic.woff2"
|
|
||||||
)
|
|
||||||
instantiate_variable_font(
|
|
||||||
"Raleway-Italic-VariableFont_wght.ttf",
|
|
||||||
{"wght": 700},
|
|
||||||
"Raleway-700-Italic.woff2"
|
|
||||||
)
|
|
||||||
|
|
||||||
if __name__ == "__main__":
|
|
||||||
main()
|
|
||||||
@@ -1,8 +0,0 @@
|
|||||||
[params]
|
|
||||||
katexCssUrl = "https://static.danilafe.com/katex/katex.min.css"
|
|
||||||
katexJsUrl = "https://static.danilafe.com/katex/katex.min.js"
|
|
||||||
normalizeCssUrl = "https://static.danilafe.com/normalize/normalize.css"
|
|
||||||
visNetworkJsUrl = "https://static.danilafe.com/vis-network/vis-network.min.js"
|
|
||||||
bergamotJsUrl = "https://static.danilafe.com/bergamot/bergamot.js"
|
|
||||||
bergamotObjectLanguageJsUrl = "https://static.danilafe.com/bergamot/objectlang.js"
|
|
||||||
images = ["banner.png"]
|
|
||||||
106
i18n/en.toml
106
i18n/en.toml
@@ -1,106 +0,0 @@
|
|||||||
[home]
|
|
||||||
other = "Home"
|
|
||||||
|
|
||||||
[about]
|
|
||||||
other = "About"
|
|
||||||
|
|
||||||
[resume]
|
|
||||||
other = "Resume"
|
|
||||||
|
|
||||||
[tags]
|
|
||||||
other = "Tags"
|
|
||||||
|
|
||||||
[favorites]
|
|
||||||
other = "Favorites"
|
|
||||||
|
|
||||||
[search]
|
|
||||||
other = "Search"
|
|
||||||
|
|
||||||
[allPosts]
|
|
||||||
other = "All Posts"
|
|
||||||
|
|
||||||
[nWords]
|
|
||||||
one = "one word"
|
|
||||||
other = "{{ .Count }} words"
|
|
||||||
|
|
||||||
[nMinutesToRead]
|
|
||||||
one = "about one minute to read"
|
|
||||||
other = "about {{ .Count }} minutes to read"
|
|
||||||
|
|
||||||
[latestInSeries]
|
|
||||||
other = "Latest in series:"
|
|
||||||
|
|
||||||
[recentPosts]
|
|
||||||
other = "Recent posts"
|
|
||||||
|
|
||||||
[tagged]
|
|
||||||
other = "Tagged \"{{ . }}\""
|
|
||||||
|
|
||||||
[postedOn]
|
|
||||||
other = "Posted on {{ . }}"
|
|
||||||
|
|
||||||
[tableOfContents]
|
|
||||||
other = "Table of Contents"
|
|
||||||
|
|
||||||
[warning]
|
|
||||||
other = "Warning!"
|
|
||||||
|
|
||||||
[postDraft]
|
|
||||||
other = "This post is a draft. At best, it may contain grammar mistakes; at worst, it can include significant errors and bugs. Please use your best judgement!"
|
|
||||||
|
|
||||||
[contactFooter]
|
|
||||||
other = "Liked this article? Have any questions or comments? Please don't hesitate to reach out to me at <a href=\"mailto:danila.fedorin@gmail.com\">danila.fedorin@gmail.com</a>! I love receiving emails from readers, and I'm always happy to provide any additional clarification or assistance."
|
|
||||||
|
|
||||||
[note]
|
|
||||||
other = "note"
|
|
||||||
|
|
||||||
[from]
|
|
||||||
other = "From"
|
|
||||||
|
|
||||||
[searchRequiresJS]
|
|
||||||
other = "Search (requires JavaScript)"
|
|
||||||
|
|
||||||
[series]
|
|
||||||
other = "Series"
|
|
||||||
|
|
||||||
[postsFromTo]
|
|
||||||
other = "First post in {{ .from }}, last post in {{ .to }}"
|
|
||||||
|
|
||||||
[seriesStatus]
|
|
||||||
other = "Series status:"
|
|
||||||
|
|
||||||
[suspendedSeries]
|
|
||||||
other = "Suspended"
|
|
||||||
|
|
||||||
[completeSeries]
|
|
||||||
other = "Complete"
|
|
||||||
|
|
||||||
[ongoingSeries]
|
|
||||||
other = "Ongoing"
|
|
||||||
|
|
||||||
[nextInSeries]
|
|
||||||
other = "Next in Series"
|
|
||||||
|
|
||||||
[previousInSeries]
|
|
||||||
other = "Previous in Series"
|
|
||||||
|
|
||||||
[comingSoon]
|
|
||||||
other = "Coming soon!"
|
|
||||||
|
|
||||||
[startBergamot]
|
|
||||||
other = "Start Bergamot"
|
|
||||||
|
|
||||||
[closeBergamot]
|
|
||||||
other = "Close Bergamot"
|
|
||||||
|
|
||||||
[lineX]
|
|
||||||
other = ", line {{ . }}"
|
|
||||||
|
|
||||||
[aroundLineX]
|
|
||||||
other = ", around line {{ . }}"
|
|
||||||
|
|
||||||
[linesXThroughY]
|
|
||||||
other = ", lines {{ .from }} through {{ .to }}"
|
|
||||||
|
|
||||||
[entireFile]
|
|
||||||
other = ", entire file"
|
|
||||||
@@ -1,8 +1,6 @@
|
|||||||
<!DOCTYPE html>
|
<!DOCTYPE html>
|
||||||
<html lang="{{ .Site.Language.Lang }}">
|
<html lang="{{ .Site.Language.Lang }}">
|
||||||
<head>
|
{{- partial "head.html" . -}}
|
||||||
{{- partial "head.html" . -}}
|
|
||||||
</head>
|
|
||||||
<body>
|
<body>
|
||||||
{{- partial "header.html" . -}}
|
{{- partial "header.html" . -}}
|
||||||
<div class="container"><hr class="header-divider"></div>
|
<div class="container"><hr class="header-divider"></div>
|
||||||
@@ -4,7 +4,7 @@
|
|||||||
|
|
||||||
<ul class="post-list">
|
<ul class="post-list">
|
||||||
{{ range .Pages.ByDate.Reverse }}
|
{{ range .Pages.ByDate.Reverse }}
|
||||||
{{ partial "post.html" (dict "page" .) }}
|
{{ partial "post.html" . }}
|
||||||
{{ end }}
|
{{ end }}
|
||||||
</ul>
|
</ul>
|
||||||
{{ end }}
|
{{ end }}
|
||||||
@@ -1,9 +0,0 @@
|
|||||||
{{ if and (eq .Type "alert") (eq .AlertType "todo") -}}
|
|
||||||
<div style="background-color: tomato; color: white; padding: 10px;">
|
|
||||||
<em>TODO: </em>{{- .Text | plainify -}}
|
|
||||||
</div>
|
|
||||||
{{- else -}}
|
|
||||||
<blockquote {{- with .Attributes.id }} id="{{ . }}"{{ end }}>
|
|
||||||
{{ .Text -}}
|
|
||||||
</blockquote>
|
|
||||||
{{- end }}
|
|
||||||
@@ -1,6 +0,0 @@
|
|||||||
{{- .Page.Store.SetInMap "definedSections" (printf "#%s" .Anchor) true -}}
|
|
||||||
<a href="#{{ .Anchor }}">
|
|
||||||
<h{{ .Level }} id="{{ .Anchor }}">
|
|
||||||
{{- .Text | safeHTML -}}
|
|
||||||
</h{{ .Level }}>
|
|
||||||
</a>
|
|
||||||
@@ -1,32 +0,0 @@
|
|||||||
{{- $class := "" -}}
|
|
||||||
{{- $icon := "" -}}
|
|
||||||
{{- $absoluteDest := absLangURL .Destination -}}
|
|
||||||
{{- $siteRootUrl := absLangURL "" -}}
|
|
||||||
{{- $isExternal := not (hasPrefix $absoluteDest $siteRootUrl) -}}
|
|
||||||
{{- $isSamePage := hasPrefix .Destination "#" -}}
|
|
||||||
|
|
||||||
{{- if $isSamePage -}}
|
|
||||||
{{- $class = "same-page-link" -}}
|
|
||||||
{{- if index (.Page.Store.Get "definedSections") .Destination -}}
|
|
||||||
{{- $icon = "arrow-up" -}}
|
|
||||||
{{- else -}}
|
|
||||||
{{- /* Do not render "down" links because don't know how to distinguish unseen titles from paragraph links. */ -}}
|
|
||||||
{{- /* $icon = "arrow-down" */ -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- else if $isExternal -}}
|
|
||||||
{{- $class = "external-link" -}}
|
|
||||||
{{- $icon = "external-link" -}}
|
|
||||||
{{- end -}}
|
|
||||||
<a href="{{ .Destination | safeURL }}"
|
|
||||||
{{- with .Title }} title="{{ . }}"{{ end -}}
|
|
||||||
{{- with $class -}}
|
|
||||||
class="{{ . }}"
|
|
||||||
{{- end -}}
|
|
||||||
{{- if (and site.Params.externalLinksInNewTab $isExternal) -}}
|
|
||||||
target="_blank" rel="noopener noreferrer"
|
|
||||||
{{- end -}}
|
|
||||||
>
|
|
||||||
{{- with .Text | safeHTML }}{{ . }}{{ end -}}
|
|
||||||
{{- with $icon -}}{{- partial "icon.html" . -}}{{- end -}}
|
|
||||||
</a>
|
|
||||||
{{- /* chomp trailing newline */ -}}
|
|
||||||
@@ -1,6 +0,0 @@
|
|||||||
<script>
|
|
||||||
window.addEventListener('load', function() {
|
|
||||||
window.Bergamot.inputModes['{{ .name }}'] = {{ .fn | safeJS }};
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
|
|
||||||
@@ -1,17 +0,0 @@
|
|||||||
{
|
|
||||||
{{ if . }}
|
|
||||||
{{ range $name := split . ";" }}
|
|
||||||
{{ if eq $name "query" }}
|
|
||||||
"Query": "query",
|
|
||||||
{{ else }}
|
|
||||||
{{ $pieces := split $name ":" }}
|
|
||||||
{{ $name := index $pieces 0 }}
|
|
||||||
{{ $modestring := index $pieces 1 }}
|
|
||||||
"{{ $name }}": { "custom": "{{ $modestring }}" },
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
{{ else }}
|
|
||||||
"Language Term": { "custom": "Bergamot Object Language" },
|
|
||||||
"Query": "query",
|
|
||||||
{{ end }}
|
|
||||||
}
|
|
||||||
@@ -1,11 +0,0 @@
|
|||||||
<script>
|
|
||||||
window.addEventListener('load', function() {
|
|
||||||
window.Bergamot.presets['{{ .name }}'] = {
|
|
||||||
rules: {{ .file }},
|
|
||||||
inputModes: {{ partial "bergamotparseinputmodes.js" .modes | safeJS }},
|
|
||||||
inputPrompt: '{{ .prompt }}',
|
|
||||||
query: '{{ .query }}',
|
|
||||||
renderPreset: '{{ default "default" .renderPreset }}'
|
|
||||||
};
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
@@ -1,6 +0,0 @@
|
|||||||
<script>
|
|
||||||
window.addEventListener('load', function() {
|
|
||||||
window.Bergamot.renderPresets['{{ .name }}'] =
|
|
||||||
{{ .file }};
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
@@ -1,2 +0,0 @@
|
|||||||
<link rel="preload" href="{{ .url }}" as="style" onload="this.onload=null;this.rel='stylesheet'"{{ with .integrity }} integrity="{{ . }}"{{ end }}{{ with .extra }} {{ . | safeHTMLAttr }}{{ end }}>
|
|
||||||
<noscript><link rel="stylesheet" href="{{ .url }}"{{ with .integrity }} integrity="{{ . }}"{{ end }}></noscript>
|
|
||||||
@@ -1,26 +0,0 @@
|
|||||||
{{- $siteSourceUrl := site.Params.siteSourceUrl -}}
|
|
||||||
{{- $submoduleLinks := hugo.Data.submodules -}}
|
|
||||||
{{- $hostData := hugo.Data.hosts -}}
|
|
||||||
{{- $lines := .lines -}}
|
|
||||||
{{- $bestLength := -1 -}}
|
|
||||||
{{- $bestUrl := printf "%s/code/%s" $siteSourceUrl .path -}}
|
|
||||||
{{- $bestPath := "" -}}
|
|
||||||
{{- $filePath := .path -}}
|
|
||||||
{{- range $path, $url := $submoduleLinks -}}
|
|
||||||
{{- if and (le $bestLength (len $path)) (hasPrefix $filePath $path) -}}
|
|
||||||
{{- $bestLength = len $path -}}
|
|
||||||
{{- $bestPath = $path -}}
|
|
||||||
{{- $bestUrl = printf "%s%s" $url (strings.TrimPrefix $path $filePath) -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- if .lines -}}
|
|
||||||
{{- /* If the user provided a line range, see if we can tack it on to the end of the link. */ -}}
|
|
||||||
{{- range $host, $data := $hostData -}}
|
|
||||||
{{- if hasPrefix $bestUrl $host -}}
|
|
||||||
{{- with $data.linesSuffix -}}
|
|
||||||
{{- $bestUrl = add $bestUrl (printf . (index $lines 0) (index $lines 1)) -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- return (dict "url" $bestUrl "basePath" $bestPath) -}}
|
|
||||||
@@ -1,3 +0,0 @@
|
|||||||
<div class="highlight-group" {{ with .attrs }}{{ . | safeHTMLAttr }}{{ end }}>
|
|
||||||
<div class="highlight-label">{{ i18n "from" }} <a href="{{ .url }}">{{ path.Base .path }}</a>{{ .comment }}</div>{{ .content }}
|
|
||||||
</div>
|
|
||||||
@@ -1,107 +0,0 @@
|
|||||||
<meta charset="utf-8">
|
|
||||||
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
||||||
<meta name="theme-color" content="#1dc868">
|
|
||||||
{{ if .Description }}
|
|
||||||
<meta name="description" content="{{ .Description }}">
|
|
||||||
{{ end }}
|
|
||||||
{{ with index (.GetTerms "series") 0 }}
|
|
||||||
<meta name="blog-series" content="{{ .Data.Term }}">
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
{{ range .Params.discussionRooms }}
|
|
||||||
<meta name="matrix-highlight-comments" content="{{ . }}">
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
<!-- Fonts -->
|
|
||||||
{{ if not (.Site.Params.noCss) }}
|
|
||||||
{{ $fonts := resources.Get "scss/fonts.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
<link rel="stylesheet" href="{{ $fonts.Permalink }}" integrity="{{ $fonts.Data.Integrity }}" media="screen">
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
<!-- External CSS (normalize and KaTeX -->
|
|
||||||
{{ if not (.Site.Params.noCss) }}
|
|
||||||
{{ partial "defercss.html" (dict "url" .Site.Params.normalizeCssUrl "extra" "") }}
|
|
||||||
{{ partial "defercss.html" (dict "url" .Site.Params.katexCssUrl "extra" "") }}
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
<!-- Links to other formats (RSS, TOML) -->
|
|
||||||
{{ range .Site.Home.AlternativeOutputFormats -}}
|
|
||||||
<link rel="{{ .Rel }}" type="{{ .MediaType.Type | html }}" href="{{ .Permalink | safeURL }}">
|
|
||||||
{{ end -}}
|
|
||||||
|
|
||||||
<!-- In-house CSS -->
|
|
||||||
{{ $style := resources.Get "scss/style.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
{{ $sidenotes := resources.Get "scss/sidenotes.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
{{ $code := resources.Get "scss/code.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
{{ $icon := resources.Get "img/favicon.png" | resources.Fingerprint }}
|
|
||||||
<style>.feather { display: inline !important; width: 10px; height: 10px; }</style>
|
|
||||||
<style>img { max-width: 70%; }</style>
|
|
||||||
{{ if not (.Site.Params.noCss) }}
|
|
||||||
<link rel="stylesheet" href="{{ $style.Permalink }}" integrity="{{ $style.Data.Integrity }}">
|
|
||||||
{{ partial "defercss.html" (dict "url" $sidenotes.Permalink "integrity" $sidenotes.Data.Integrity "extra" "") }}
|
|
||||||
{{ partial "defercss.html" (dict "url" $code.Permalink "integrity" $code.Data.Integrity "extra" "") }}
|
|
||||||
{{ end }}
|
|
||||||
<link rel="icon" type="image/png" href="{{ $icon.Permalink }}" integrity="{{ $icon.Data.Integrity }}">
|
|
||||||
|
|
||||||
{{ if .Params.custom_js }}
|
|
||||||
{{ range $customJs := .Params.custom_js }}
|
|
||||||
{{ with page.Resources.Get $customJs }}
|
|
||||||
{{ $customJsResource := . | resources.Fingerprint }}
|
|
||||||
<script src="{{ $customJsResource.Permalink }}" integrity="{{ $customJsResource.Data.Integrity }}"></script>
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
{{ partial "opengraph.html" . }}
|
|
||||||
{{ partial "twitter_cards.html" . }}
|
|
||||||
|
|
||||||
<link rel="canonical" href="{{ .Permalink }}">
|
|
||||||
|
|
||||||
{{ if hugo.IsServer }}
|
|
||||||
<!-- KaTeX auto-rendering for when we don't have a post-processing step. -->
|
|
||||||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.js" integrity="sha384-X/XCfMm41VSsqRNQgDerQczD69XqmjOOOwYQvr/uuC+j4OPoNhVgjdGFwhvN02Ja" crossorigin="anonymous"></script>
|
|
||||||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/contrib/auto-render.min.js" integrity="sha384-+XBljXPPiv+OzfbB3cVmLHf4hdUFHlWNZN5spNQ7rmHTXpd7WvJum6fIACpNNfIR" crossorigin="anonymous"
|
|
||||||
onload="renderMathInElement(document.body);"></script>
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
{{ if .Params.bergamot }}
|
|
||||||
<!-- Ensure later scripts keep the KaTeX CSS even if the page has no LaTeX !-->
|
|
||||||
<meta name="needs-latex">
|
|
||||||
<!-- Code to support the Bergamot JS widget -->
|
|
||||||
<script defer src="{{ .Site.Params.katexJsUrl }}" crossorigin="anonymous"></script>
|
|
||||||
{{ $katexComponentJs := resources.Get "js/katex-component.js" | resources.Minify | resources.Fingerprint }}
|
|
||||||
<script defer src="{{ $katexComponentJs.Permalink }}" integrity="{{ $katexComponentJs.Data.Integrity }}"></script>
|
|
||||||
<script defer src="{{ .Site.Params.bergamotJsUrl }}"></script>
|
|
||||||
<script defer src="{{ .Site.Params.bergamotObjectLanguageJsUrl }}"></script>
|
|
||||||
{{ $bergamotHelpers := resources.Get "js/bergamot-helpers.js" | resources.Minify | resources.Fingerprint }}
|
|
||||||
<script defer src="{{ $bergamotHelpers.Permalink }}" integrity="{{ $bergamotHelpers.Data.Integrity }}"></script>
|
|
||||||
{{ $bergamotStyle := resources.Get "scss/bergamot.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
{{ partial "defercss.html" (dict "url" $bergamotStyle.Permalink "integrity" $bergamotStyle.Data.Integrity "extra" "") }}
|
|
||||||
{{ if .Params.bergamot.render_presets }}
|
|
||||||
{{ range $name, $rulefile := .Params.bergamot.render_presets }}
|
|
||||||
{{ $file := default (resources.Get $rulefile) (page.Resources.Get $rulefile) }}
|
|
||||||
{{ partial "bergamotrenderpreset.html" (dict "name" $name "file" $file.Content) }}
|
|
||||||
{{ end }}
|
|
||||||
{{ else }}
|
|
||||||
{{ partial "bergamotrenderpreset.html" (dict "name" "default" "file" (resources.Get "bergamot/rendering/minimal.bergamot").Content) }}
|
|
||||||
{{ end }}
|
|
||||||
{{ if .Params.bergamot.presets }}
|
|
||||||
{{ range $name, $preset := .Params.bergamot.presets }}
|
|
||||||
{{ $file := default (resources.Get $preset.file) (page.Resources.Get $preset.file) }}
|
|
||||||
{{ $info := dict "name" $name "prompt" $preset.prompt "query" $preset.query "file" $file.Content "renderPreset" $preset.render_preset "inputModes" $preset.input_modes }}
|
|
||||||
{{ partial "bergamotpreset.html" $info }}
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
{{ if .Params.bergamot.input_modes }}
|
|
||||||
{{ range $mode := .Params.bergamot.input_modes }}
|
|
||||||
{{ partial "bergamotinputmode.html" (dict "name" $mode.name "fn" $mode.fn) }}
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
{{ with .Site.Params.plausibleAnalyticsDomain }}
|
|
||||||
<!-- Plausible analytics, because log parsing is not working all that well. -->
|
|
||||||
<script defer data-domain="{{ . }}" src="https://plausible.io/js/script.js"></script>
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
<title>{{ .Title }}</title>
|
|
||||||
@@ -1,20 +0,0 @@
|
|||||||
<div class="container">
|
|
||||||
<h1>{{ .Site.Title }}</h1>
|
|
||||||
</div>
|
|
||||||
<nav>
|
|
||||||
<div class="container">
|
|
||||||
<a href="{{ .Site.Home.Permalink }}">{{ i18n "home" }}</a>
|
|
||||||
<a href="{{ relref . "about" }}">{{ i18n "about" }}</a>
|
|
||||||
{{ with .Site.Params.githubUsername }}
|
|
||||||
<a href="https://github.com/{{ . }}">GitHub</a>
|
|
||||||
{{ end }}
|
|
||||||
{{ if .Site.Params.resumeStaticFile }}
|
|
||||||
<a href="{{ absLangURL .Site.Params.resumeStaticFile }}">{{ i18n "resume" }}</a>
|
|
||||||
{{ end }}
|
|
||||||
<a href="{{ site.Taxonomies.tags.Page.Permalink }}">{{ i18n "tags" }}</a>
|
|
||||||
<a href="{{ site.Taxonomies.series.Page.Permalink }}">{{ i18n "series" }}</a>
|
|
||||||
<a href="{{ relref . "favorites" }}">{{ i18n "favorites" }}</a>
|
|
||||||
<a href="{{ relref . "search" }}">{{ i18n "search" }}</a>
|
|
||||||
<a href="{{ relref . "blog" }}">{{ i18n "allPosts" }}</a>
|
|
||||||
</div>
|
|
||||||
</nav>
|
|
||||||
@@ -1,11 +0,0 @@
|
|||||||
{{- $highlightGroupAttrs := (printf "data-base-path=\"%s\" data-file-path=\"%v\"" .basePath .path) -}}
|
|
||||||
{{- if (or .firstLine .lastLine) -}}
|
|
||||||
{{- $highlightGroupAttrs = add $highlightGroupAttrs (printf " data-first-line=\"%v\" data-last-line=\"%v\"" .firstLine .lastLine) -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- if eq (lower .language) "agda" -}}
|
|
||||||
{{- $highlightGroupAttrs = add $highlightGroupAttrs " data-agda-block" -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- with .offset -}}
|
|
||||||
{{- $highlightGroupAttrs = add $highlightGroupAttrs (printf " data-source-offset=\"%v\"" .) -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{ partial "group.html" (dict "url" .url "path" .path "comment" .comment "content" (highlight .code .language .opts) "attrs" $highlightGroupAttrs) }}
|
|
||||||
@@ -1,4 +0,0 @@
|
|||||||
<svg class="feather" style="display: none;">
|
|
||||||
<use xlink:href="/feather-sprite.svg#{{ . }}"/>
|
|
||||||
</svg>
|
|
||||||
{{- /* This comment is to remove trailing whitespace */ -}}
|
|
||||||
|
Before Width: | Height: | Size: 164 B |
@@ -1,9 +0,0 @@
|
|||||||
{{- $comment := "" -}}
|
|
||||||
{{- if eq .from .to -}}
|
|
||||||
{{- $comment = i18n "lineX" .to -}}
|
|
||||||
{{- else if eq .from 0 -}}
|
|
||||||
{{- $comment = i18n "aroundLineX" .to -}}
|
|
||||||
{{- else -}}
|
|
||||||
{{- $comment = i18n "linesXThroughY" . -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- return $comment -}}
|
|
||||||
@@ -1,8 +0,0 @@
|
|||||||
{{- $term := index (.page.GetTerms "series") 0 -}}
|
|
||||||
{{- $divider := $term.Params.divider -}}
|
|
||||||
{{- $name := .page.Title -}}
|
|
||||||
{{- if (and $divider (strings.Contains .page.Title $divider)) -}}
|
|
||||||
{{- $rest := after 1 (split .page.Title $divider) -}}
|
|
||||||
{{- $name = delimit $rest $divider -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- return $name -}}
|
|
||||||
@@ -1,27 +0,0 @@
|
|||||||
<li>
|
|
||||||
{{- $name := .page.Title -}}
|
|
||||||
{{- if .seriesName -}}
|
|
||||||
{{- $name = partial "nameinseries" (dict "page" .page) -}}
|
|
||||||
{{- end -}}
|
|
||||||
<a href="{{ .page.Permalink }}" class="post-title">{{ if .page.Params.favorite }}{{ partial "icon.html" "star" }}{{ end }} {{ $name }}</a>
|
|
||||||
{{ if (not (eq .page.WordCount 0)) }}
|
|
||||||
<p class="post-wordcount">{{ i18n "nWords" .page.WordCount }}, {{ i18n "nMinutesToRead" .page.ReadingTime }}.</p>
|
|
||||||
{{ end }}
|
|
||||||
{{ if .page.Params.status }}
|
|
||||||
<p class="post-status">
|
|
||||||
{{ partial "seriesstatus.html" .page.Params.status }}
|
|
||||||
</p>
|
|
||||||
{{ end }}
|
|
||||||
<p class="post-preview">{{ partial "summary" .page }}</p>
|
|
||||||
{{- if .linkSeries -}}
|
|
||||||
{{- $term := index (.page.GetTerms "series") 0 -}}
|
|
||||||
{{- with $term -}}
|
|
||||||
{{- if (not ($term.Param "donotunique")) -}}
|
|
||||||
<div class="series-link">
|
|
||||||
{{- partial "icon.html" "corner-down-right" -}}
|
|
||||||
<p>{{- i18n "latestInSeries" }} <a href="{{ $term.Permalink }}">{{ $term.Title }}</a></p>
|
|
||||||
</div>
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end }}
|
|
||||||
</li>
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
<div class="{{ .direction }} wrapper">
|
|
||||||
<a href="{{ .page.RelPermalink }}">
|
|
||||||
{{ if eq .direction "previous" }}{{ partial "icon.html" "chevrons-left" }}{{ end }}
|
|
||||||
<div class="title-subtitle">
|
|
||||||
{{ i18n (printf "%sInSeries" .direction) }}
|
|
||||||
<div class="title">{{ partial "nameinseries.html" (dict "page" .page) }}</div>
|
|
||||||
</div>
|
|
||||||
{{ if eq .direction "next" }}{{ partial "icon.html" "chevrons-right" }}{{ end }}
|
|
||||||
</a>
|
|
||||||
</div>
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
<div class="{{ .direction }} wrapper">
|
|
||||||
<div class="ongoing-placeholder">
|
|
||||||
{{ if eq .direction "previous" }}{{ partial "icon.html" "chevrons-left" }}{{ end }}
|
|
||||||
<div class="title-subtitle">
|
|
||||||
{{ i18n (printf "%sInSeries" .direction) }}
|
|
||||||
<div class="title">{{ i18n "comingSoon" }}</div>
|
|
||||||
</div>
|
|
||||||
{{ if eq .direction "next" }}{{ partial "icon.html" "chevrons-right" }}{{ end }}
|
|
||||||
</div>
|
|
||||||
</div>
|
|
||||||
@@ -1,17 +0,0 @@
|
|||||||
{{- $page := . -}}
|
|
||||||
{{- $term := index (.GetTerms "series") 0 -}}
|
|
||||||
{{- with $term -}}
|
|
||||||
{{- /* No idea why the 'Reverse' is needed? */ -}}
|
|
||||||
{{- $pages := (site.Taxonomies.series.Get .Data.Term).Pages.ByDate.Reverse -}}
|
|
||||||
<nav class="series-navigation">
|
|
||||||
{{- with $pages.Prev $page -}}
|
|
||||||
{{- partial "serieslink.html" (dict "direction" "previous" "page" .) -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- $nextPage := $pages.Next $page -}}
|
|
||||||
{{- if $nextPage -}}
|
|
||||||
{{- partial "serieslink.html" (dict "direction" "next" "page" $nextPage) -}}
|
|
||||||
{{- else if eq $term.Params.status "ongoing" -}}
|
|
||||||
{{- partial "serieslinkplaceholder.html" (dict "direction" "next") -}}
|
|
||||||
{{- end -}}
|
|
||||||
</nav>
|
|
||||||
{{- end -}}
|
|
||||||
@@ -1,4 +0,0 @@
|
|||||||
<span class="series-status {{ . }}">
|
|
||||||
{{ i18n "seriesStatus" }}
|
|
||||||
<span class="series-status-keyword">{{ i18n (printf "%sSeries" .) }}</span>
|
|
||||||
</span>
|
|
||||||
@@ -1,5 +0,0 @@
|
|||||||
{{- if .Params.summary -}}
|
|
||||||
{{ .Params.summary | markdownify | plainify }}
|
|
||||||
{{- else -}}
|
|
||||||
{{ .Summary | plainify | truncate 180 }}
|
|
||||||
{{- end -}}
|
|
||||||
@@ -1,14 +0,0 @@
|
|||||||
{{- $pages := slice -}}
|
|
||||||
{{- $tmpScratch := newScratch -}}
|
|
||||||
{{- range $post := (where (where site.Pages.ByDate.Reverse "Section" "blog") ".Kind" "!=" "section") -}}
|
|
||||||
{{- $term := index ($post.GetTerms "series") 0 -}}
|
|
||||||
{{- if (and $term (not ($term.Param "donotunique"))) -}}
|
|
||||||
{{- if not ($tmpScratch.Get $term.Permalink) -}}
|
|
||||||
{{- $tmpScratch.Set $term.Permalink true -}}
|
|
||||||
{{- $pages = $pages | append $post -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- else -}}
|
|
||||||
{{- $pages = $pages | append $post -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- return $pages -}}
|
|
||||||
@@ -1,3 +0,0 @@
|
|||||||
<div class="warning">
|
|
||||||
<em>{{ i18n "warning" }}</em> {{ . }}
|
|
||||||
</div>
|
|
||||||
@@ -1,21 +0,0 @@
|
|||||||
<div class="bergamot-exercise">
|
|
||||||
<details open>
|
|
||||||
<summary>
|
|
||||||
<span class="bergamot-exercise-label">
|
|
||||||
<span class="bergamot-exercise-number"></span>
|
|
||||||
{{ if or (eq (.Get "label") "") (eq (.Get "label") nil) }}{{ else }}({{ .Get "label" }}){{ end }}:
|
|
||||||
</span>
|
|
||||||
</summary>
|
|
||||||
{{ transform.Markdownify .Inner }}
|
|
||||||
|
|
||||||
<div class="bergamot-button-group">
|
|
||||||
{{ if or (eq (.Get "preset") "") (eq (.Get "preset") nil) }}
|
|
||||||
{{ else }}
|
|
||||||
<button class="bergamot-button bergamot-play" onclick='window.Bergamot.runPreset(this.parentElement, "bergamot-widget-container-{{ .Get "id" }}", "{{ .Get "preset" }}")'>{{ partial "icon.html" "play" }}{{ i18n "startBergamot" }}</button>
|
|
||||||
<button class="bergamot-button bergamot-close bergamot-hidden" onclick='window.Bergamot.close(this.parentElement, "bergamot-widget-container-{{ .Get "id" }}")'>{{ partial "icon.html" "x" }}{{ i18n "closeBergamot" }}</button>
|
|
||||||
{{ end }}
|
|
||||||
</div>
|
|
||||||
|
|
||||||
<div id="bergamot-widget-container-{{ .Get "id" }}"></div>
|
|
||||||
</details>
|
|
||||||
</div>
|
|
||||||
@@ -1,8 +0,0 @@
|
|||||||
<div id="{{ .Get "id" }}"></div>
|
|
||||||
<script>
|
|
||||||
window.addEventListener('load', function() {
|
|
||||||
window.Bergamot.run(null, '{{ .Get "id" }}',
|
|
||||||
{{ partial "bergamotparseinputmodes.js" (.Get "modes") | safeJS }},
|
|
||||||
'{{ .Get "prompt" }}', '{{ .Inner }}', '{{ default "default" (.Get "rendering") }}', '{{ .Get "query" }}');
|
|
||||||
});
|
|
||||||
</script>
|
|
||||||
@@ -1,11 +0,0 @@
|
|||||||
{{- $url := partial "geturl.html" (dict "path" (.Get 1)) -}}
|
|
||||||
{{- $groupconfig := dict
|
|
||||||
"url" $url.url
|
|
||||||
"basePath" $url.basePath
|
|
||||||
"path" (.Get 1)
|
|
||||||
"comment" (i18n "entireFile")
|
|
||||||
"code" (readFile (printf "code/%s" (.Get 1)))
|
|
||||||
"language" (.Get 0)
|
|
||||||
"opts" "linenos=table"
|
|
||||||
-}}
|
|
||||||
{{- partial "highlightgroup.html" $groupconfig -}}
|
|
||||||
@@ -1,59 +0,0 @@
|
|||||||
{{- $source := (readFile (printf "code/%s" (.Get 1))) -}}
|
|
||||||
{{- $allLines := split $source "\n" -}}
|
|
||||||
{{- $scratch := newScratch -}}
|
|
||||||
{{- $remLines := $allLines -}}
|
|
||||||
{{- if not (eq (int (.Get 2)) 1) -}}
|
|
||||||
{{- $remLines = after (sub (int (.Get 2)) 1) $allLines -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- $lines := first (add (sub (int (.Get 3)) (int (.Get 2))) 1) $remLines -}}
|
|
||||||
|
|
||||||
{{- $opts := "" -}}
|
|
||||||
{{- if (.Get 4) -}}
|
|
||||||
{{- $opts = printf ",%s" (.Get 4) -}}
|
|
||||||
{{- end -}}
|
|
||||||
|
|
||||||
{{- if (.Get 5) -}}
|
|
||||||
{{- $scratch.Set "hidden" (.Get 5) -}}
|
|
||||||
{{- end -}}
|
|
||||||
|
|
||||||
{{- $prefixLength := "" -}}
|
|
||||||
{{- $joinedLines := "" -}}
|
|
||||||
{{- if or (.Page.Params.left_align_code) (.Get 6) -}}
|
|
||||||
{{- $prefixLength = -1 -}}
|
|
||||||
{{- range $line := $lines -}}
|
|
||||||
{{- $leading := sub (len $line) (len (strings.TrimLeft " " $line)) -}}
|
|
||||||
{{- if and (ne $line "") (or (eq $prefixLength -1) (le $leading $prefixLength)) -}}
|
|
||||||
{{- $prefixLength = $leading -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- end -}}
|
|
||||||
|
|
||||||
{{- range $line := $lines -}}
|
|
||||||
{{- $joinedLines = add $joinedLines (substr $line $prefixLength) -}}
|
|
||||||
{{- $joinedLines = add $joinedLines "\n" -}}
|
|
||||||
{{- end -}}
|
|
||||||
{{- else -}}
|
|
||||||
{{- $joinedLines = delimit $lines "\n" -}}
|
|
||||||
{{- end -}}
|
|
||||||
|
|
||||||
{{- $url := partial "geturl.html" (dict "path" (.Get 1) "lines" (slice (.Get 2) (.Get 3))) -}}
|
|
||||||
{{- $comment := partial "linerangestr.html" (dict "from" (.Get 2) "to" (.Get 3)) -}}
|
|
||||||
|
|
||||||
{{- with ($scratch.Get "hidden") -}}
|
|
||||||
<details><summary>{{- . | markdownify -}}</summary>
|
|
||||||
{{- end -}}
|
|
||||||
{{- $groupconfig := dict
|
|
||||||
"url" $url.url
|
|
||||||
"basePath" $url.basePath
|
|
||||||
"path" (.Get 1)
|
|
||||||
"comment" $comment
|
|
||||||
"code" $joinedLines
|
|
||||||
"firstLine" (int (.Get 2))
|
|
||||||
"lastLine" (int (.Get 3))
|
|
||||||
"language" (.Get 0)
|
|
||||||
"offset" $prefixLength
|
|
||||||
"opts" (printf "linenos=table,linenostart=%d%s" (.Get 2) $opts)
|
|
||||||
-}}
|
|
||||||
{{- partial "highlightgroup.html" $groupconfig -}}
|
|
||||||
{{- with ($scratch.Get "hidden") -}}
|
|
||||||
</details>
|
|
||||||
{{- end -}}
|
|
||||||
@@ -1,2 +0,0 @@
|
|||||||
{{- $url := partial "geturl.html" (dict "path" (.Get 0)) -}}
|
|
||||||
{{- $url.url -}}
|
|
||||||
@@ -1,4 +0,0 @@
|
|||||||
<details>
|
|
||||||
<summary>{{- .Get "summary" | markdownify -}}</summary>
|
|
||||||
{{- .Inner | markdownify -}}
|
|
||||||
</details>
|
|
||||||
@@ -1,6 +0,0 @@
|
|||||||
{{- $page := site.GetPage (.Get 1) -}}
|
|
||||||
{{- if $page -}}
|
|
||||||
<a href="{{ $page.RelPermalink }}">{{ .Get 0 }}</a>
|
|
||||||
{{- else -}}
|
|
||||||
<span class="draft-link">{{ .Get 0 }} (coming soon)</span>
|
|
||||||
{{- end -}}
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
{{- $repo := .Get 0 -}}
|
|
||||||
{{- $commit := .Get 1 -}}
|
|
||||||
{{- $file := .Get 2 -}}
|
|
||||||
{{- $lang := .Get 3 -}}
|
|
||||||
{{- $line := .Get 4 -}}
|
|
||||||
{{- $lines := split (trim .Inner "\n") "\n" -}}
|
|
||||||
|
|
||||||
{{- $url := printf "https://github.com/%s/blob/%s/%s#L%d" $repo $commit $file $line -}}
|
|
||||||
{{- $comment := partial "linerangestr.html" (dict "from" 0 "to" $line) -}}
|
|
||||||
{{- partial "highlightgroup.html" (dict "url" $url "path" $file "comment" $comment "code" (trim .Inner "\n") "language" $lang) -}}
|
|
||||||
@@ -1,12 +0,0 @@
|
|||||||
{{- $name := .Get 0 -}}
|
|
||||||
{{- $number := 1 -}}
|
|
||||||
{{- with .Page.Store.Get "internal-ref-counter" -}}
|
|
||||||
{{- $number = add . 1 }}
|
|
||||||
{{- end -}}
|
|
||||||
{{- .Page.Store.Set "internal-ref-counter" $number -}}
|
|
||||||
{{- .Page.Store.SetInMap "internal-ref" $name $number -}}
|
|
||||||
|
|
||||||
<span class="internal-ref" id="internal-ref-{{ $name }}">
|
|
||||||
{{ .Inner }}
|
|
||||||
<span class="internal-ref-counter">{{ $number }}</span></span>
|
|
||||||
{{- /* chomp whitespace at the end */ -}}
|
|
||||||
@@ -1,7 +0,0 @@
|
|||||||
{{- $name := .Get 0 -}}
|
|
||||||
{{- $number := index (.Page.Store.Get "internal-ref") $name -}}
|
|
||||||
|
|
||||||
<a href="#internal-ref-{{ $name }}">
|
|
||||||
{{ .Inner }}
|
|
||||||
<span class="internal-ref-counter">{{ $number }}</span></a>
|
|
||||||
{{- /* chomp whitespace at the end */ -}}
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
<span class="message side-{{ .Get 0 }}">
|
|
||||||
<span class="message-sender">
|
|
||||||
{{- if (eq (.Get 1) "reader") -}}
|
|
||||||
{{- partial "icon.html" "moon" -}}
|
|
||||||
{{- else -}}
|
|
||||||
{{- partial "icon.html" "sun" -}}
|
|
||||||
{{- end -}}
|
|
||||||
</span>
|
|
||||||
<span class="message-text">{{- .Inner -}}</span>
|
|
||||||
</span>
|
|
||||||
@@ -1,9 +0,0 @@
|
|||||||
{{- $url := partial "geturl.html" (dict "path" (.Get 0)) -}}
|
|
||||||
{{- $groupconfig := dict
|
|
||||||
"url" $url.url
|
|
||||||
"basePath" $url.basePath
|
|
||||||
"path" (.Get 0)
|
|
||||||
"comment" (i18n "entireFile")
|
|
||||||
"content" (safeHTML (printf "<pre><code>%s</code></pre>" (htmlEscape (readFile (printf "code/%s" (.Get 0))))))
|
|
||||||
-}}
|
|
||||||
{{- partial "group.html" $groupconfig -}}
|
|
||||||
@@ -1,3 +0,0 @@
|
|||||||
<div class="early-navigation-wrapper">
|
|
||||||
{{ partial "seriesnav.html" .Page }}
|
|
||||||
</div>
|
|
||||||
@@ -1,3 +0,0 @@
|
|||||||
<div class="side-by-side">
|
|
||||||
{{ .Inner }}
|
|
||||||
</div>
|
|
||||||
@@ -1,3 +0,0 @@
|
|||||||
<div class="side-by-side-item" {{ with .Get "weight" }} style="flex-grow: {{ . }};" {{ end }}>
|
|
||||||
{{ .Inner }}
|
|
||||||
</div>
|
|
||||||
@@ -1,16 +0,0 @@
|
|||||||
<span class="sidenote">
|
|
||||||
<label class="sidenote-label" for="{{- .Get 1 -}}">{{- .Get 2 | markdownify -}}</label>
|
|
||||||
{{- /* chomp trailing whitespace */ -}}
|
|
||||||
<input class="sidenote-checkbox" style="display: none;" type="checkbox" id="{{- .Get 1 -}}"></input>
|
|
||||||
{{- if $offset := .Get 3 -}}
|
|
||||||
<span class="sidenote-content sidenote-{{- .Get 0 -}}" style="margin-top: {{- $offset -}}rem">
|
|
||||||
{{- else -}}
|
|
||||||
<span class="sidenote-content sidenote-{{- .Get 0 -}}">
|
|
||||||
{{- end -}}
|
|
||||||
<span class="sidenote-delimiter">[{{- i18n "note" -}}:</span>
|
|
||||||
{{- .Inner -}}
|
|
||||||
<span class="sidenote-delimiter">]</span>
|
|
||||||
</span>
|
|
||||||
{{- /* chomp trailing whitespace */ -}}
|
|
||||||
</span>
|
|
||||||
{{- /* chomp trailing whitespace */ -}}
|
|
||||||
@@ -1,38 +1,42 @@
|
|||||||
{{ define "main" }}
|
{{ define "main" }}
|
||||||
<h2>{{ .Title }}</h2>
|
<h2>{{ .Title }}</h2>
|
||||||
<div class="post-subscript">
|
<div class="post-subscript">
|
||||||
<p class="tag-list">
|
<p>
|
||||||
{{- range (.GetTerms "tags") -}}
|
{{ range .Params.tags }}
|
||||||
<a class="tag" href="{{ .Permalink }}">{{ .Title }}</a>
|
<a class="button" href="{{ $.Site.BaseURL }}/tags/{{ . | urlize }}">{{ . }}</a>
|
||||||
{{ end -}}
|
{{ end }}
|
||||||
</p>
|
</p>
|
||||||
<p>{{ i18n "postedOn" (.Date.Format "January 2, 2006") }}.</p>
|
<p>Posted on {{ .Date.Format "January 2, 2006" }}.</p>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<div class="post-content">
|
<div class="post-content">
|
||||||
{{- if not (eq .TableOfContents "<nav id=\"TableOfContents\"></nav>") -}}
|
{{ if not (eq .TableOfContents "<nav id=\"TableOfContents\"></nav>") }}
|
||||||
<div class="table-of-contents">
|
<div class="table-of-contents">
|
||||||
<div class="wrapper">
|
<div class="wrapper">
|
||||||
<em>{{- i18n "tableOfContents" -}}</em>
|
<em>Table of Contents</em>
|
||||||
{{- .TableOfContents -}}
|
{{ .TableOfContents }}
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
{{- end -}}
|
{{ end }}
|
||||||
|
|
||||||
{{- if .Draft -}}
|
{{ if .Draft }}
|
||||||
{{- partial "warning.html" (i18n "postDraft") -}}
|
<div class="draft-warning">
|
||||||
{{- end -}}
|
<em>Warning!</em> This post is a draft. At best, it may contain grammar mistakes;
|
||||||
|
at worst, it can include significant errors and bugs. Please
|
||||||
|
use your best judgement!
|
||||||
|
</div>
|
||||||
|
{{ end }}
|
||||||
|
|
||||||
{{- .Content -}}
|
{{ .Content }}
|
||||||
</div>
|
|
||||||
{{- end -}}
|
|
||||||
{{- define "after" -}}
|
|
||||||
<div class="container">
|
|
||||||
{{- partial "seriesnav.html" . -}}
|
|
||||||
</div>
|
</div>
|
||||||
|
{{ end }}
|
||||||
|
{{ define "after" }}
|
||||||
<hr class="container footer-divider">
|
<hr class="container footer-divider">
|
||||||
<footer class="container">
|
<footer class="container">
|
||||||
<p>{{ i18n "contactFooter" | safeHTML }}</p>
|
<p>Liked this article? Have any questions or comments?
|
||||||
|
Please don't hesitate to reach out to me at <a href="mailto:danila.fedorin@gmail.com">
|
||||||
|
danila.fedorin@gmail.com</a>! I love receiving emails from readers, and I'm always happy
|
||||||
|
to provide any additional clarification or assistance.</p>
|
||||||
<!--
|
<!--
|
||||||
<p>I'm also currently looking for Computer Science internships for the summer
|
<p>I'm also currently looking for Computer Science internships for the summer
|
||||||
of 2021. Take a look at my <a href="/Resume-Danila-Fedorin.pdf">resume</a>,
|
of 2021. Take a look at my <a href="/Resume-Danila-Fedorin.pdf">resume</a>,
|
||||||
@@ -41,4 +45,4 @@
|
|||||||
to learn more about me!</p>
|
to learn more about me!</p>
|
||||||
-->
|
-->
|
||||||
</footer>
|
</footer>
|
||||||
{{- end -}}
|
{{ end }}
|
||||||
|
|||||||
@@ -4,7 +4,7 @@
|
|||||||
|
|
||||||
<ul class="post-list">
|
<ul class="post-list">
|
||||||
{{ range (where (where .Site.Pages.ByDate.Reverse "Section" "blog") ".Kind" "!=" "section") }}
|
{{ range (where (where .Site.Pages.ByDate.Reverse "Section" "blog") ".Kind" "!=" "section") }}
|
||||||
{{ if .Params.favorite }}{{ partial "post.html" (dict "page" .) }}{{ end }}
|
{{ if .Params.favorite }}{{ partial "post.html" . }}{{ end }}
|
||||||
{{ end }}
|
{{ end }}
|
||||||
</ul>
|
</ul>
|
||||||
{{ end }}
|
{{ end }}
|
||||||
|
|||||||
@@ -1,16 +0,0 @@
|
|||||||
{{ define "main" }}
|
|
||||||
<h2>{{ .Title }} </h2>
|
|
||||||
<script src="{{ .Site.Params.visNetworkJsUrl }}"></script>
|
|
||||||
<script type="module" src="{{ absLangURL "graph/graph.js" }}"></script>
|
|
||||||
<style>
|
|
||||||
#graph-container {
|
|
||||||
width: 100%;
|
|
||||||
height: 50vh;
|
|
||||||
border-radius: 0.2rem;
|
|
||||||
border: .075rem solid #bfbfbf
|
|
||||||
}
|
|
||||||
</style>
|
|
||||||
{{ .Content }}
|
|
||||||
<div id="graph-container">
|
|
||||||
</div>
|
|
||||||
{{ end }}
|
|
||||||
@@ -1,12 +0,0 @@
|
|||||||
{{ define "main" }}
|
|
||||||
{{ .Content }}
|
|
||||||
|
|
||||||
{{ i18n "recentPosts" }}:
|
|
||||||
{{ $pages := partial "uniquebyseries.html" . }}
|
|
||||||
<ul class="post-list">
|
|
||||||
{{ range first 10 $pages }}
|
|
||||||
{{ partial "post.html" (dict "page" . "linkSeries" true) }}
|
|
||||||
{{ end }}
|
|
||||||
</ul>
|
|
||||||
|
|
||||||
{{ end }}
|
|
||||||
11
layouts/index.html
Normal file
11
layouts/index.html
Normal file
@@ -0,0 +1,11 @@
|
|||||||
|
{{ define "main" }}
|
||||||
|
{{ .Content }}
|
||||||
|
|
||||||
|
Recent posts:
|
||||||
|
<ul class="post-list">
|
||||||
|
{{ range first 10 (where (where .Site.Pages.ByDate.Reverse "Section" "blog") ".Kind" "!=" "section") }}
|
||||||
|
{{ partial "post.html" . }}
|
||||||
|
{{ end }}
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
{{ end }}
|
||||||
12
layouts/partials/geturl.html
Normal file
12
layouts/partials/geturl.html
Normal file
@@ -0,0 +1,12 @@
|
|||||||
|
{{ $scratch := .scratch }}
|
||||||
|
{{ $scratch.Set "bestLength" -1 }}
|
||||||
|
{{ $scratch.Set "bestUrl" (printf "https://dev.danilafe.com/Web-Projects/blog-static/src/branch/master/code/%s" .path) }}
|
||||||
|
{{ $filePath := .path }}
|
||||||
|
{{ range $module, $props := .submoduleLinks }}
|
||||||
|
{{ $path := index $props "path" }}
|
||||||
|
{{ $bestLength := $scratch.Get "bestLength" }}
|
||||||
|
{{ if and (le $bestLength (len $path)) (hasPrefix $filePath $path) }}
|
||||||
|
{{ $scratch.Set "bestLength" (len $path) }}
|
||||||
|
{{ $scratch.Set "bestUrl" (printf "%s%s" (index $props "url") (strings.TrimPrefix $path $filePath)) }}
|
||||||
|
{{ end }}
|
||||||
|
{{ end }}
|
||||||
3
layouts/partials/group.html
Normal file
3
layouts/partials/group.html
Normal file
@@ -0,0 +1,3 @@
|
|||||||
|
<div class="highlight-group">
|
||||||
|
<div class="highlight-label">From <a href="{{ .url }}">{{ path.Base .path }}</a>{{ .comment }}</div>{{ .content }}
|
||||||
|
</div>
|
||||||
27
layouts/partials/head.html
Normal file
27
layouts/partials/head.html
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
<head>
|
||||||
|
<meta charset="utf-8">
|
||||||
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
||||||
|
<meta name="theme-color" content="#1dc868">
|
||||||
|
{{ if .Description }}
|
||||||
|
<meta name="description" content="{{ .Description }}">
|
||||||
|
{{ end }}
|
||||||
|
|
||||||
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Inconsolata:wght@400;700&family=Raleway&family=Lora&display=block" media="screen">
|
||||||
|
<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/normalize/5.0.0/normalize.min.css" media="screen" async>
|
||||||
|
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.css" integrity="sha384-zB1R0rpPzHqg7Kpt0Aljp8JPLqbXI3bhnPWROx27a9N0Ll6ZP/+DiW/UqRcLbRjq" crossorigin="anonymous" media="screen" async>
|
||||||
|
{{ range .AlternativeOutputFormats -}}
|
||||||
|
<link rel="{{ .Rel }}" type="{{ .MediaType.Type | html }}" href="{{ .Permalink | safeURL }}">
|
||||||
|
{{ end -}}
|
||||||
|
{{ $style := resources.Get "scss/style.scss" | resources.ToCSS | resources.Minify }}
|
||||||
|
{{ $sidenotes := resources.Get "scss/sidenotes.scss" | resources.ToCSS | resources.Minify }}
|
||||||
|
{{ $code := resources.Get "scss/code.scss" | resources.ToCSS | resources.Minify }}
|
||||||
|
{{ $icon := resources.Get "img/favicon.png" }}
|
||||||
|
<style>.sidenote-checkbox { display: none; }</style>
|
||||||
|
<style>.feather { width: 1rem; height: 1rem; }</style>
|
||||||
|
<link rel="stylesheet" href="{{ $style.Permalink }}" media="screen">
|
||||||
|
<link rel="stylesheet" href="{{ $sidenotes.Permalink }}" media="screen">
|
||||||
|
<link rel="stylesheet" href="{{ $code.Permalink }}" media="screen" async>
|
||||||
|
<link rel="icon" type="image/png" href="{{ $icon.Permalink }}">
|
||||||
|
|
||||||
|
<title>{{ .Title }}</title>
|
||||||
|
</head>
|
||||||
15
layouts/partials/header.html
Normal file
15
layouts/partials/header.html
Normal file
@@ -0,0 +1,15 @@
|
|||||||
|
<div class="container">
|
||||||
|
<h1>Daniel's Blog</h1>
|
||||||
|
</div>
|
||||||
|
<nav>
|
||||||
|
<div class="container">
|
||||||
|
<a href="/">Home</a>
|
||||||
|
<a href="/about">About</a>
|
||||||
|
<a href="https://github.com/DanilaFe">GitHub</a>
|
||||||
|
<a href="/Resume-Danila-Fedorin.pdf">Resume</a>
|
||||||
|
<a href="/tags">Tags</a>
|
||||||
|
<a href="/favorites">Favorites</a>
|
||||||
|
<a href="/search">Search</a>
|
||||||
|
<a href="/blog">All Posts</a>
|
||||||
|
</div>
|
||||||
|
</nav>
|
||||||
1
layouts/partials/highlightgroup.html
Normal file
1
layouts/partials/highlightgroup.html
Normal file
@@ -0,0 +1 @@
|
|||||||
|
{{ partial "group.html" (dict "url" .url "path" .path "comment" .comment "content" (highlight .code .language .opts)) }}
|
||||||
3
layouts/partials/icon.html
Normal file
3
layouts/partials/icon.html
Normal file
@@ -0,0 +1,3 @@
|
|||||||
|
<svg class="feather">
|
||||||
|
<use xlink:href="/feather-sprite.svg#{{ . }}"/>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 81 B |
5
layouts/partials/post.html
Normal file
5
layouts/partials/post.html
Normal file
@@ -0,0 +1,5 @@
|
|||||||
|
<li>
|
||||||
|
<a href="{{ .Permalink }}" class="post-title">{{ if .Params.favorite }}{{ partial "icon.html" "star" }}{{ end }} {{ .Title }}</a>
|
||||||
|
<p class="post-wordcount">{{ .WordCount }} words, about {{ .ReadingTime }} minutes to read.</p>
|
||||||
|
<p class="post-preview">{{ .Summary }} . . .</p>
|
||||||
|
</li>
|
||||||
@@ -17,9 +17,9 @@
|
|||||||
<link>{{ .Permalink }}</link>
|
<link>{{ .Permalink }}</link>
|
||||||
<description>Recent content {{ if ne .Title .Site.Title }}{{ with .Title }}in {{.}} {{ end }}{{ end }}on {{ .Site.Title }}</description>
|
<description>Recent content {{ if ne .Title .Site.Title }}{{ with .Title }}in {{.}} {{ end }}{{ end }}on {{ .Site.Title }}</description>
|
||||||
<generator>Hugo -- gohugo.io</generator>{{ with .Site.LanguageCode }}
|
<generator>Hugo -- gohugo.io</generator>{{ with .Site.LanguageCode }}
|
||||||
<language>{{.}}</language>{{end}}{{ with site.Params.author.email }}
|
<language>{{.}}</language>{{end}}{{ with .Site.Author.email }}
|
||||||
<managingEditor>{{.}}{{ with site.Params.author.name }} ({{.}}){{end}}</managingEditor>{{end}}{{ with site.Params.author.email }}
|
<managingEditor>{{.}}{{ with $.Site.Author.name }} ({{.}}){{end}}</managingEditor>{{end}}{{ with .Site.Author.email }}
|
||||||
<webMaster>{{.}}{{ with site.Params.author.name }} ({{.}}){{end}}</webMaster>{{end}}{{ with .Site.Copyright }}
|
<webMaster>{{.}}{{ with $.Site.Author.name }} ({{.}}){{end}}</webMaster>{{end}}{{ with .Site.Copyright }}
|
||||||
<copyright>{{.}}</copyright>{{end}}{{ if not .Date.IsZero }}
|
<copyright>{{.}}</copyright>{{end}}{{ if not .Date.IsZero }}
|
||||||
<lastBuildDate>{{ .Date.Format "Mon, 02 Jan 2006 15:04:05 -0700" | safeHTML }}</lastBuildDate>{{ end }}
|
<lastBuildDate>{{ .Date.Format "Mon, 02 Jan 2006 15:04:05 -0700" | safeHTML }}</lastBuildDate>{{ end }}
|
||||||
{{ with .OutputFormats.Get "RSS" }}
|
{{ with .OutputFormats.Get "RSS" }}
|
||||||
@@ -30,7 +30,7 @@
|
|||||||
<title>{{ .Title }}</title>
|
<title>{{ .Title }}</title>
|
||||||
<link>{{ .Permalink }}</link>
|
<link>{{ .Permalink }}</link>
|
||||||
<pubDate>{{ .Date.Format "Mon, 02 Jan 2006 15:04:05 -0700" | safeHTML }}</pubDate>
|
<pubDate>{{ .Date.Format "Mon, 02 Jan 2006 15:04:05 -0700" | safeHTML }}</pubDate>
|
||||||
{{ with site.Params.author.email }}<author>{{.}}{{ with site.Params.author.name }} ({{.}}){{end}}</author>{{end}}
|
{{ with .Site.Author.email }}<author>{{.}}{{ with $.Site.Author.name }} ({{.}}){{end}}</author>{{end}}
|
||||||
<guid>{{ .Permalink }}</guid>
|
<guid>{{ .Permalink }}</guid>
|
||||||
<description>{{ .Content | html }}</description>
|
<description>{{ .Content | html }}</description>
|
||||||
</item>
|
</item>
|
||||||
|
|||||||
@@ -2,12 +2,12 @@
|
|||||||
<h2>{{ .Title }} </h2>
|
<h2>{{ .Title }} </h2>
|
||||||
{{ .Content }}
|
{{ .Content }}
|
||||||
|
|
||||||
{{ $search := resources.Get "scss/search.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
{{ $search := resources.Get "scss/search.scss" | resources.ToCSS | resources.Minify }}
|
||||||
<link rel="stylesheet" href="{{ $search.Permalink }}" integrity="{{ $search.Data.Integrity }}" media="screen">
|
<link rel="stylesheet" href="{{ $search.Permalink }}" media="screen">
|
||||||
|
|
||||||
<div class="stork-wrapper">
|
<div class="stork-wrapper">
|
||||||
<div class="stork-input-wrapper">
|
<div class="stork-input-wrapper">
|
||||||
<input class="stork-input" data-stork="blog" placeholder="{{ i18n "searchRequiresJS" }}"/>
|
<input class="stork-input" data-stork="blog" placeholder="Search (requires JavaScript)"/>
|
||||||
</div>
|
</div>
|
||||||
<div class="stork-output" data-stork="blog-output"></div>
|
<div class="stork-output" data-stork="blog-output"></div>
|
||||||
</div>
|
</div>
|
||||||
|
|||||||
@@ -1,17 +0,0 @@
|
|||||||
{{ define "main" }}
|
|
||||||
<h2>{{ .Title }}</h2>
|
|
||||||
{{ $pages := .Pages.ByDate }}
|
|
||||||
{{ $startYear := (index (last 1 .Pages) 0).Date.Format "2006" }}
|
|
||||||
{{ $endYear := (index (first 1 .Pages) 0).Date.Format "2006" }}
|
|
||||||
<div class="post-subscript">
|
|
||||||
<p>{{ partial "seriesstatus.html" .Params.status }}</p>
|
|
||||||
<p>{{ i18n "postsFromTo" (dict "from" $startYear "to" $endYear) }}</p>
|
|
||||||
</div>
|
|
||||||
<p>{{ partial "summary" . }}</p>
|
|
||||||
|
|
||||||
<ul class="post-list">
|
|
||||||
{{ range $pages }}
|
|
||||||
{{ partial "post.html" (dict "page" . "seriesName" true) }}
|
|
||||||
{{ end }}
|
|
||||||
</ul>
|
|
||||||
{{ end }}
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
{{ define "main" }}
|
|
||||||
<h2>{{ .Title }}</h2>
|
|
||||||
{{ .Content }}
|
|
||||||
|
|
||||||
<ul class="post-list">
|
|
||||||
{{ range sort .Pages "Title" }}
|
|
||||||
{{ partial "post.html" (dict "page" .) }}
|
|
||||||
{{ end }}
|
|
||||||
</ul>
|
|
||||||
{{ end }}
|
|
||||||
@@ -1,3 +1,3 @@
|
|||||||
<div class="block">
|
<div class="block">
|
||||||
{{- .Inner -}}
|
{{ .Inner }}
|
||||||
</div>
|
</div>
|
||||||
2
layouts/shortcodes/codeblock.html
Normal file
2
layouts/shortcodes/codeblock.html
Normal file
@@ -0,0 +1,2 @@
|
|||||||
|
{{ partial "geturl.html" (dict "scratch" .Scratch "path" (.Get 1) "submoduleLinks" .Site.Params.submoduleLinks) }}
|
||||||
|
{{ partial "highlightgroup.html" (dict "url" (.Scratch.Get "bestUrl") "path" (.Get 1) "comment" ", entire file" "code" (readFile (printf "code/%s" (.Get 1))) "language" (.Get 0) "opts" "linenos=table") }}
|
||||||
23
layouts/shortcodes/codelines.html
Normal file
23
layouts/shortcodes/codelines.html
Normal file
@@ -0,0 +1,23 @@
|
|||||||
|
{{ $source := (readFile (printf "code/%s" (.Get 1))) }}
|
||||||
|
{{ $allLines := split $source "\n" }}
|
||||||
|
{{ if not (eq (int (.Get 2)) 1) }}
|
||||||
|
{{ .Scratch.Set "remLines" (after (sub (int (.Get 2)) 1) $allLines) }}
|
||||||
|
{{ else }}
|
||||||
|
{{ .Scratch.Set "remLines" $allLines }}
|
||||||
|
{{ end }}
|
||||||
|
{{ $lines := first (add (sub (int (.Get 3)) (int (.Get 2))) 1) (.Scratch.Get "remLines") }}
|
||||||
|
|
||||||
|
{{ if (.Get 4) }}
|
||||||
|
{{ .Scratch.Set "opts" (printf ",%s" (.Get 4)) }}
|
||||||
|
{{ else }}
|
||||||
|
{{ .Scratch.Set "opts" "" }}
|
||||||
|
{{ end }}
|
||||||
|
|
||||||
|
{{ partial "geturl.html" (dict "scratch" .Scratch "path" (.Get 1) "submoduleLinks" .Site.Params.submoduleLinks) }}
|
||||||
|
|
||||||
|
{{ if eq (.Get 2) (.Get 3) }}
|
||||||
|
{{ .Scratch.Set "comment" (printf ", line %d" (.Get 2)) }}
|
||||||
|
{{ else }}
|
||||||
|
{{ .Scratch.Set "comment" (printf ", lines %d through %d" (.Get 2) (.Get 3)) }}
|
||||||
|
{{ end }}
|
||||||
|
{{ partial "highlightgroup.html" (dict "url" (.Scratch.Get "bestUrl") "path" (.Get 1) "comment" (.Scratch.Get "comment") "code" (delimit $lines "\n") "language" (.Get 0) "opts" (printf "linenos=table,linenostart=%d%s" (.Get 2) (.Scratch.Get "opts"))) }}
|
||||||
@@ -1,3 +1,3 @@
|
|||||||
<p class="dialog">
|
<p class="dialog">
|
||||||
{{- .Inner -}}
|
{{ .Inner }}
|
||||||
</p>
|
</p>
|
||||||
10
layouts/shortcodes/message.html
Normal file
10
layouts/shortcodes/message.html
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
<span class="message side-{{ .Get 0 }}">
|
||||||
|
<span class="message-sender">
|
||||||
|
{{ if (eq (.Get 1) "reader") }}
|
||||||
|
{{ partial "icon.html" "moon" }}
|
||||||
|
{{ else }}
|
||||||
|
{{ partial "icon.html" "sun" }}
|
||||||
|
{{ end }}
|
||||||
|
</span>
|
||||||
|
<span class="message-text">{{ .Inner }}</span>
|
||||||
|
</span>
|
||||||
11
layouts/shortcodes/numberedsidenote.html
Normal file
11
layouts/shortcodes/numberedsidenote.html
Normal file
@@ -0,0 +1,11 @@
|
|||||||
|
{{ .Page.Scratch.Add "numbernote-id" 1 }}
|
||||||
|
{{ $id := .Page.Scratch.Get "numbernote-id" }}
|
||||||
|
<span class="sidenote">
|
||||||
|
<label class="sidenote-label" for="numbernote-{{ $id }}">({{ $id }})</label>
|
||||||
|
<input class="sidenote-checkbox" type="checkbox" id="numbernote-{{ $id }}"></input>
|
||||||
|
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
||||||
|
<span class="sidenote-delimiter">[note:</span>
|
||||||
|
{{ .Inner }}
|
||||||
|
<span class="sidenote-delimiter">]</span>
|
||||||
|
</span>
|
||||||
|
</span>
|
||||||
2
layouts/shortcodes/rawblock.html
Normal file
2
layouts/shortcodes/rawblock.html
Normal file
@@ -0,0 +1,2 @@
|
|||||||
|
{{ partial "geturl.html" (dict "scratch" .Scratch "path" (.Get 0) "submoduleLinks" .Site.Params.submoduleLinks) }}
|
||||||
|
{{ partial "group.html" (dict "url" (.Scratch.Get "bestUrl") "path" (.Get 0) "comment" ", entire file" "content" (safeHTML (printf "<pre><code>%s</code></pre>" (htmlEscape (readFile (printf "code/%s" (.Get 0))))))) }}
|
||||||
9
layouts/shortcodes/sidenote.html
Normal file
9
layouts/shortcodes/sidenote.html
Normal file
@@ -0,0 +1,9 @@
|
|||||||
|
<span class="sidenote">
|
||||||
|
<label class="sidenote-label" for="{{ .Get 1 }}">{{ .Get 2 }}</label>
|
||||||
|
<input class="sidenote-checkbox" type="checkbox" id="{{ .Get 1 }}"></input>
|
||||||
|
<span class="sidenote-content sidenote-{{ .Get 0 }}">
|
||||||
|
<span class="sidenote-delimiter">[note:</span>
|
||||||
|
{{ .Inner }}
|
||||||
|
<span class="sidenote-delimiter">]</span>
|
||||||
|
</span>
|
||||||
|
</span>
|
||||||
3
layouts/shortcodes/todo.html
Normal file
3
layouts/shortcodes/todo.html
Normal file
@@ -0,0 +1,3 @@
|
|||||||
|
<div style="background-color: tomato; color: white; padding: 10px;">
|
||||||
|
<em>TODO: </em>{{ .Inner }}
|
||||||
|
</div>
|
||||||
@@ -1,9 +1,9 @@
|
|||||||
{{ define "main" }}
|
{{ define "main" }}
|
||||||
<h2>{{ i18n "tagged" .Title }}</h2>
|
<h2>Tagged "{{ .Title }}"</h2>
|
||||||
|
|
||||||
<ul class="post-list">
|
<ul class="post-list">
|
||||||
{{ range .Pages.ByDate.Reverse }}
|
{{ range .Pages.ByDate.Reverse }}
|
||||||
{{ partial "post.html" (dict "page" .) }}
|
{{ partial "post.html" . }}
|
||||||
{{ end }}
|
{{ end }}
|
||||||
</ul>
|
</ul>
|
||||||
{{ end }}
|
{{ end }}
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
{{ define "main" }}
|
{{ define "main" }}
|
||||||
<h2>{{ .Title }}</h2>
|
<h2>{{ .Title }}</h2>
|
||||||
{{ .Content }}
|
Below is a list of all the tags ever used on this site.
|
||||||
|
|
||||||
<ul>
|
<ul>
|
||||||
{{ range sort .Pages "Title" }}
|
{{ range sort .Pages "Title" }}
|
||||||
|
|||||||
@@ -1,34 +0,0 @@
|
|||||||
{{- /* Note: changing the baseof template because the title, tags, etc. of a regular post are still valid. */ -}}
|
|
||||||
<!DOCTYPE html>
|
|
||||||
<html lang="{{ .Site.Language.Lang }}">
|
|
||||||
<head>
|
|
||||||
{{- partial "head.html" . -}}
|
|
||||||
|
|
||||||
{{ $writingcss := resources.Get "scss/writing.scss" | css.Sass | resources.Minify | resources.Fingerprint }}
|
|
||||||
<link rel="stylesheet" href="{{ $writingcss.Permalink }}" integrity="{{ $writingcss.Data.Integrity }}">
|
|
||||||
|
|
||||||
{{ if .Params.custom_css }}
|
|
||||||
{{ range $customCss := .Params.custom_css }}
|
|
||||||
{{ $renderedCustomCss := page.Resources.Get $customCss | css.Sass (dict "includePaths" (slice "themes/vanilla/assets/scss")) | resources.Minify | resources.Fingerprint }}
|
|
||||||
<link rel="stylesheet" href="{{ $renderedCustomCss.Permalink }}" integrity="{{ $renderedCustomCss.Data.Integrity }}">
|
|
||||||
{{ end }}
|
|
||||||
{{ end }}
|
|
||||||
</head>
|
|
||||||
<body>
|
|
||||||
{{ with .Params.body_start_partial }}
|
|
||||||
{{ partial . $ }}
|
|
||||||
{{ end }}
|
|
||||||
|
|
||||||
{{- partial "header.html" . -}}
|
|
||||||
<div class="container"><hr class="header-divider"></div>
|
|
||||||
<main class="container">
|
|
||||||
|
|
||||||
{{- if .Draft -}}
|
|
||||||
{{- partial "warning.html" (i18n "postDraft") -}}
|
|
||||||
{{- end -}}
|
|
||||||
|
|
||||||
{{- block "main" . }}{{- end }}
|
|
||||||
</main>
|
|
||||||
{{- block "after" . }}{{- end }}
|
|
||||||
</body>
|
|
||||||
</html>
|
|
||||||
Binary file not shown.
|
Before Width: | Height: | Size: 31 KiB |
Binary file not shown.
Binary file not shown.
Binary file not shown.
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user