Compare commits
1 Commits
master
...
868be30118
| Author | SHA1 | Date | |
|---|---|---|---|
| 868be30118 |
@@ -15,10 +15,10 @@
|
||||
}
|
||||
|
||||
code {
|
||||
font-family: $font-code;
|
||||
@include var(background-color, code-color);
|
||||
border: $code-border;
|
||||
padding: 0 0.25rem 0 0.25rem;
|
||||
font-family: $font-code;
|
||||
@include var(background-color, code-color);
|
||||
border: $code-border;
|
||||
padding: 0 0.25rem 0 0.25rem;
|
||||
}
|
||||
|
||||
pre code {
|
||||
@@ -40,12 +40,12 @@ pre code {
|
||||
margin-bottom: 1rem;
|
||||
|
||||
a {
|
||||
color: inherit;
|
||||
border: none;
|
||||
color: inherit;
|
||||
border: none;
|
||||
|
||||
&:hover, &:focus {
|
||||
background-color: rgba($primary-color, 0.25);
|
||||
}
|
||||
&:hover, &:focus {
|
||||
background-color: rgba($primary-color, 0.25);
|
||||
}
|
||||
}
|
||||
|
||||
td {
|
||||
|
||||
@@ -1,41 +1,41 @@
|
||||
@mixin font-inconsolata($weight) {
|
||||
@font-face {
|
||||
font-family: 'Inconsolata';
|
||||
font-display: swap;
|
||||
font-weight: $weight;
|
||||
src: local('Inconsolata'),
|
||||
url('../fonts/gen/Inconsolata-#{$weight}.woff2');
|
||||
}
|
||||
@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');
|
||||
}
|
||||
@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');
|
||||
}
|
||||
@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');
|
||||
}
|
||||
@font-face {
|
||||
font-family: 'STIXGeneral';
|
||||
font-display: swap;
|
||||
src: local('STIXGeneral-Regular'),
|
||||
url('../fonts/STIXGeneral-Regular.ttf');
|
||||
}
|
||||
}
|
||||
|
||||
@include font-inconsolata(400);
|
||||
@@ -43,23 +43,3 @@
|
||||
@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%;
|
||||
}
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
}
|
||||
|
||||
@mixin below-container-width {
|
||||
@media screen and (max-width: $container-width-threshold) {
|
||||
@media screen and (max-width: $container-width-threshold){
|
||||
@content;
|
||||
}
|
||||
}
|
||||
@@ -16,17 +16,17 @@
|
||||
}
|
||||
|
||||
@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;
|
||||
@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;
|
||||
}
|
||||
&:active, &:focus {
|
||||
@include green-shadow;
|
||||
border-color: $primary-color;
|
||||
}
|
||||
|
||||
flex-grow: 1;
|
||||
flex-grow: 1;
|
||||
}
|
||||
|
||||
@@ -43,7 +43,7 @@ input.stork-input {
|
||||
padding: $search-element-padding;
|
||||
}
|
||||
|
||||
.stork-message:not(:last-child), .stork-result {
|
||||
.stork-message:not(:last-child), .stork-result {
|
||||
border-bottom: $standard-border;
|
||||
}
|
||||
|
||||
|
||||
@@ -4,169 +4,169 @@
|
||||
@import "modes.scss";
|
||||
|
||||
body {
|
||||
@include var(background-color, background-color);
|
||||
@include var(color, text-color);
|
||||
font-family: $font-body;
|
||||
font-size: 1.0rem;
|
||||
line-height: 1.5;
|
||||
margin-bottom: 1rem;
|
||||
text-align: justify;
|
||||
@include var(background-color, background-color);
|
||||
@include var(color, text-color);
|
||||
font-family: $font-body;
|
||||
font-size: 1.0rem;
|
||||
line-height: 1.5;
|
||||
margin-bottom: 1rem;
|
||||
text-align: justify;
|
||||
|
||||
@include below-container-width {
|
||||
text-align: left;
|
||||
}
|
||||
@include below-container-width {
|
||||
text-align: left;
|
||||
}
|
||||
}
|
||||
|
||||
h1, h2, h3, h4, h5, h6 {
|
||||
margin-bottom: .1rem;
|
||||
margin-top: .5rem;
|
||||
font-family: $font-heading;
|
||||
font-weight: normal;
|
||||
text-align: center;
|
||||
margin-bottom: .1rem;
|
||||
margin-top: .5rem;
|
||||
font-family: $font-heading;
|
||||
font-weight: normal;
|
||||
text-align: center;
|
||||
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 1rem;
|
||||
}
|
||||
|
||||
a {
|
||||
border-bottom: none;
|
||||
|
||||
&:hover {
|
||||
color: $primary-color;
|
||||
}
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 1rem;
|
||||
}
|
||||
|
||||
a {
|
||||
border-bottom: none;
|
||||
|
||||
&:hover {
|
||||
color: $primary-color;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
p {
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 0.25rem;
|
||||
}
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 0.25rem;
|
||||
}
|
||||
}
|
||||
|
||||
.container {
|
||||
position: relative;
|
||||
margin: auto;
|
||||
width: 100%;
|
||||
max-width: $container-width;
|
||||
box-sizing: border-box;
|
||||
position: relative;
|
||||
margin: auto;
|
||||
width: 100%;
|
||||
max-width: $container-width;
|
||||
box-sizing: border-box;
|
||||
|
||||
@include below-container-width {
|
||||
padding: 0 $container-min-padding 0 $container-min-padding;
|
||||
margin: 0;
|
||||
max-width: $container-width + 2 * $container-min-padding;
|
||||
}
|
||||
@include below-container-width {
|
||||
padding: 0 $container-min-padding 0 $container-min-padding;
|
||||
margin: 0;
|
||||
max-width: $container-width + 2 * $container-min-padding;
|
||||
}
|
||||
|
||||
@include below-two-margins {
|
||||
left: -($margin-width + $margin-inner-offset + $margin-outer-offset) / 2;
|
||||
}
|
||||
@include below-two-margins {
|
||||
left: -($margin-width + $margin-inner-offset + $margin-outer-offset)/2;
|
||||
}
|
||||
|
||||
@include below-one-margin {
|
||||
left: 0;
|
||||
}
|
||||
@include below-one-margin {
|
||||
left: 0;
|
||||
}
|
||||
}
|
||||
|
||||
.button, input[type="submit"] {
|
||||
@include var(color, text-color);
|
||||
padding: 0.5rem;
|
||||
border: 1px solid $primary-color;
|
||||
transition: color 0.25s, background-color 0.25s;
|
||||
text-align: left;
|
||||
|
||||
&:focus {
|
||||
outline: none;
|
||||
}
|
||||
|
||||
&:hover, &:focus {
|
||||
background-color: rgba($primary-color, 0.2);
|
||||
@include var(color, text-color);
|
||||
padding: 0.5rem;
|
||||
border: 1px solid $primary-color;
|
||||
transition: color 0.25s, background-color 0.25s;
|
||||
text-align: left;
|
||||
|
||||
&:focus {
|
||||
outline: none;
|
||||
}
|
||||
|
||||
&:hover, &:focus {
|
||||
background-color: rgba($primary-color, 0.2);
|
||||
@include var(color, text-color);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
.input[type="text"], textarea {
|
||||
@include textual-input;
|
||||
@include textual-input;
|
||||
}
|
||||
|
||||
nav {
|
||||
width: 100%;
|
||||
margin: 0rem 0rem 1rem 0rem;
|
||||
width: 100%;
|
||||
margin: 0rem 0rem 1rem 0rem;
|
||||
|
||||
.container {
|
||||
display: flex;
|
||||
justify-content: center;
|
||||
flex-wrap: wrap;
|
||||
}
|
||||
.container {
|
||||
display: flex;
|
||||
justify-content: center;
|
||||
flex-wrap: wrap;
|
||||
}
|
||||
|
||||
a {
|
||||
padding: 0.25rem 0.75rem 0.25rem .75rem;
|
||||
text-decoration: none;
|
||||
@include var(color, text-color);
|
||||
display: inline-block;
|
||||
border-bottom: none;
|
||||
white-space: nowrap;
|
||||
}
|
||||
a {
|
||||
padding: 0.25rem 0.75rem 0.25rem .75rem;
|
||||
text-decoration: none;
|
||||
@include var(color, text-color);
|
||||
display: inline-block;
|
||||
border-bottom: none;
|
||||
white-space: nowrap;
|
||||
}
|
||||
}
|
||||
|
||||
.post-subscript {
|
||||
text-align: center;
|
||||
text-align: center;
|
||||
}
|
||||
|
||||
.post-content {
|
||||
margin-top: .5rem;
|
||||
margin-top: .5rem;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-size: 3.0rem;
|
||||
font-size: 3.0rem;
|
||||
}
|
||||
|
||||
h2 {
|
||||
font-size: 2.6rem;
|
||||
font-size: 2.6rem;
|
||||
}
|
||||
|
||||
h3 {
|
||||
font-size: 2.2rem;
|
||||
font-size: 2.2rem;
|
||||
}
|
||||
|
||||
h4 {
|
||||
font-size: 1.8rem;
|
||||
font-size: 1.8rem;
|
||||
}
|
||||
|
||||
h5 {
|
||||
font-size: 1.4rem;
|
||||
font-size: 1.4rem;
|
||||
}
|
||||
|
||||
h6 {
|
||||
font-size: 1.0rem;
|
||||
font-size: 1.0rem;
|
||||
}
|
||||
|
||||
a {
|
||||
@include var(color, text-color);
|
||||
text-decoration: none;
|
||||
border-bottom: .2rem solid $primary-color;
|
||||
@include var(color, text-color);
|
||||
text-decoration: none;
|
||||
border-bottom: .2rem solid $primary-color;
|
||||
|
||||
&:hover {
|
||||
color: $primary-color;
|
||||
transition: color 0.25s;
|
||||
}
|
||||
&:hover {
|
||||
color: $primary-color;
|
||||
transition: color 0.25s;
|
||||
}
|
||||
|
||||
&.external-link, &.same-page-link {
|
||||
.feather {
|
||||
fill: none;
|
||||
margin-left: 0.25rem;
|
||||
position: relative;
|
||||
top: 0.125em;
|
||||
}
|
||||
&.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;
|
||||
border-bottom: .2rem solid $border-color;
|
||||
}
|
||||
|
||||
img {
|
||||
max-width: 100%;
|
||||
background-color: white;
|
||||
max-width: 100%;
|
||||
background-color: white;
|
||||
}
|
||||
|
||||
table {
|
||||
@@ -251,21 +251,21 @@ ul.post-list {
|
||||
}
|
||||
|
||||
.series-link {
|
||||
display: flex;
|
||||
align-items: center;
|
||||
display: flex;
|
||||
align-items: center;
|
||||
|
||||
margin-top: 1rem;
|
||||
font-size: 1.1rem;
|
||||
border-top: $standard-border;
|
||||
padding-top: 1rem;
|
||||
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;
|
||||
}
|
||||
.feather {
|
||||
fill: none;
|
||||
flex-shrink: 0;
|
||||
width: 1em;
|
||||
height: 1em;
|
||||
margin-right: 0.5em;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -309,8 +309,8 @@ figure {
|
||||
}
|
||||
|
||||
&.fullwide {
|
||||
margin-left: 0;
|
||||
margin-right: 0;
|
||||
margin-left: 0;
|
||||
margin-right: 0;
|
||||
}
|
||||
}
|
||||
|
||||
@@ -330,20 +330,21 @@ figure {
|
||||
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.
|
||||
limited styling. Here, we finally apply the full extent of the feather
|
||||
styles.
|
||||
*/
|
||||
.feather {
|
||||
width: 1rem;
|
||||
height: 1rem;
|
||||
stroke: currentColor;
|
||||
stroke-width: 2;
|
||||
stroke-linecap: round;
|
||||
stroke-linejoin: round;
|
||||
fill: currentColor;
|
||||
width: 1rem;
|
||||
height: 1rem;
|
||||
stroke: currentColor;
|
||||
stroke-width: 2;
|
||||
stroke-linecap: round;
|
||||
stroke-linejoin: round;
|
||||
fill: currentColor;
|
||||
}
|
||||
|
||||
.katex * {
|
||||
font-family: unset;
|
||||
font-family: unset;
|
||||
}
|
||||
|
||||
.block {
|
||||
@@ -355,7 +356,7 @@ figure {
|
||||
|
||||
.dialog {
|
||||
.message {
|
||||
max-width: 0.8 * $container-width;
|
||||
max-width: 0.8*$container-width;
|
||||
margin-top: 0.5rem;
|
||||
display: flex;
|
||||
flex-direction: row;
|
||||
@@ -389,18 +390,19 @@ figure {
|
||||
flex-wrap: wrap;
|
||||
|
||||
.wrapper {
|
||||
flex-grow: 1;
|
||||
display: flex;
|
||||
flex-grow: 1;
|
||||
display: flex;
|
||||
|
||||
&.previous {
|
||||
justify-content: left;
|
||||
}
|
||||
&.previous {
|
||||
justify-content: left;
|
||||
}
|
||||
|
||||
&.next {
|
||||
justify-content: right;
|
||||
}
|
||||
&.next {
|
||||
justify-content: right;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
a, .ongoing-placeholder {
|
||||
@include bordered-block;
|
||||
padding: 0.5em 1em 0.5em 1em;
|
||||
@@ -410,16 +412,16 @@ figure {
|
||||
margin-top: 1em;
|
||||
|
||||
.feather {
|
||||
height: 1.25em;
|
||||
width: 1.25em;
|
||||
fill: none;
|
||||
&:first-child { margin-right: 0.5em; }
|
||||
&:last-child { margin-left: 0.5em; }
|
||||
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;
|
||||
border-style: dashed;
|
||||
}
|
||||
|
||||
div.title {
|
||||
@@ -474,26 +476,26 @@ blockquote {
|
||||
}
|
||||
|
||||
.side-by-side-item {
|
||||
flex-basis: 0;
|
||||
flex-basis: 0;
|
||||
}
|
||||
|
||||
.internal-ref {
|
||||
text-decoration: underline;
|
||||
break-inside: avoid;
|
||||
text-decoration: underline;
|
||||
break-inside: avoid;
|
||||
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 1rem;
|
||||
&:target {
|
||||
@include var(background-color, target-background-color);
|
||||
border-radius: 1rem;
|
||||
|
||||
.internal-ref-counter {
|
||||
@include var(background-color, target-background-color);
|
||||
}
|
||||
.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;
|
||||
display: inline-block;
|
||||
border: $standard-border;
|
||||
border-radius: 0.5rem;
|
||||
padding: 0 0.25rem 0 0.25rem;
|
||||
}
|
||||
|
||||
@@ -9,8 +9,8 @@ $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-heading: "Lora", serif;
|
||||
$font-body: "Raleway", serif;
|
||||
$font-code: "Inconsolata", monospace, "STIXGeneral";
|
||||
|
||||
$warning-background-color: #ffee99;
|
||||
@@ -23,7 +23,7 @@ $target-background-color-dark: #55511c;
|
||||
|
||||
$code-color: #f0f0f0;
|
||||
$code-color-dark: lighten($background-color-dark, 10%);
|
||||
$code-token-color: darken($primary-color, 25%);
|
||||
$code-token-color: black;
|
||||
$code-token-color-dark: $primary-color;
|
||||
$code-highlight-color: #fffd99;
|
||||
$code-highlight-color-dark: #555538;
|
||||
|
||||
@@ -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,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,25 +1,24 @@
|
||||
{{- $class := "" -}}
|
||||
{{- $icon := "" -}}
|
||||
{{- $scratch := newScratch -}}
|
||||
{{- $absoluteDest := absLangURL .Destination -}}
|
||||
{{- $siteRootUrl := absLangURL "" -}}
|
||||
{{- $isExternal := not (hasPrefix $absoluteDest $siteRootUrl) -}}
|
||||
{{- $isSamePage := hasPrefix .Destination "#" -}}
|
||||
|
||||
{{- if $isSamePage -}}
|
||||
{{- $class = "same-page-link" -}}
|
||||
{{- $scratch.Set "class" "same-page-link" -}}
|
||||
{{- if index (.Page.Scratch.Get "definedSections") .Destination -}}
|
||||
{{- $icon = "arrow-up" -}}
|
||||
{{- $scratch.Set "icon" "arrow-up" -}}
|
||||
{{- else -}}
|
||||
{{- /* Do not render "down" links because don't know how to distinguish unseen titles from paragraph links. */ -}}
|
||||
{{- /* $icon = "arrow-down" */ -}}
|
||||
{{- /* $scratch.Set "icon" "arrow-down" */ -}}
|
||||
{{- end -}}
|
||||
{{- else if $isExternal -}}
|
||||
{{- $class = "external-link" -}}
|
||||
{{- $icon = "external-link" -}}
|
||||
{{- $scratch.Set "class" "external-link" -}}
|
||||
{{- $scratch.Set "icon" "external-link" -}}
|
||||
{{- end -}}
|
||||
<a href="{{ .Destination | safeURL }}"
|
||||
{{- with .Title }} title="{{ . }}"{{ end -}}
|
||||
{{- with $class -}}
|
||||
{{- with $scratch.Get "class" -}}
|
||||
class="{{ . }}"
|
||||
{{- end -}}
|
||||
{{- if (and site.Params.externalLinksInNewTab $isExternal) -}}
|
||||
@@ -27,6 +26,6 @@
|
||||
{{- end -}}
|
||||
>
|
||||
{{- with .Text | safeHTML }}{{ . }}{{ end -}}
|
||||
{{- with $icon -}}{{- partial "icon.html" . -}}{{- end -}}
|
||||
{{- with $scratch.Get "icon" -}}{{- partial "icon.html" . -}}{{- end -}}
|
||||
</a>
|
||||
{{- /* chomp trailing newline */ -}}
|
||||
|
||||
@@ -58,8 +58,6 @@
|
||||
{{ 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 }}
|
||||
|
||||
@@ -1,11 +1,12 @@
|
||||
{{- $highlightGroupAttrs := (printf "data-base-path=\"%s\" data-file-path=\"%v\"" .basePath .path) -}}
|
||||
{{- $scratch := newScratch -}}
|
||||
{{- $scratch.Set "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) -}}
|
||||
{{- $scratch.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" -}}
|
||||
{{- $scratch.Add "highlightGroupAttrs" " data-agda-block" -}}
|
||||
{{- end -}}
|
||||
{{- with .offset -}}
|
||||
{{- $highlightGroupAttrs = add $highlightGroupAttrs (printf " data-source-offset=\"%v\"" .) -}}
|
||||
{{- $scratch.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) }}
|
||||
{{ partial "group.html" (dict "url" .url "path" .path "comment" .comment "content" (highlight .code .language .opts) "attrs" ($scratch.Get "highlightGroupAttrs")) }}
|
||||
|
||||
@@ -1,5 +0,0 @@
|
||||
{{- if .Params.summary -}}
|
||||
{{ .Params.summary }}
|
||||
{{- else -}}
|
||||
{{ .Summary | plainify | truncate 180 }}
|
||||
{{- end -}}
|
||||
@@ -1,38 +1,39 @@
|
||||
{{- $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 -}}
|
||||
{{- $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) $remLines -}}
|
||||
{{- $lines := first (add (sub (int (.Get 3)) (int (.Get 2))) 1) ($scratch.Get "remLines") -}}
|
||||
|
||||
{{- $opts := "" -}}
|
||||
{{- if (.Get 4) -}}
|
||||
{{- $opts = printf ",%s" (.Get 4) -}}
|
||||
{{- $scratch.Set "opts" (printf ",%s" (.Get 4)) -}}
|
||||
{{- else -}}
|
||||
{{- $scratch.Set "opts" "" -}}
|
||||
{{- end -}}
|
||||
|
||||
{{- if (.Get 5) -}}
|
||||
{{- $scratch.Set "hidden" (.Get 5) -}}
|
||||
{{- end -}}
|
||||
|
||||
{{- $prefixLength := "" -}}
|
||||
{{- $joinedLines := "" -}}
|
||||
{{- if or (.Page.Params.left_align_code) (.Get 6) -}}
|
||||
{{- $prefixLength = -1 -}}
|
||||
{{- $scratch.Set "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 -}}
|
||||
{{- if and (ne $line "") (or (eq ($scratch.Get "prefixLength") -1) (le $leading ($scratch.Get "prefixLength"))) -}}
|
||||
{{- $scratch.Set "prefixLength" $leading -}}
|
||||
{{- end -}}
|
||||
{{- end -}}
|
||||
|
||||
{{- $scratch.Set "joinedLines" "" -}}
|
||||
{{- range $line := $lines -}}
|
||||
{{- $joinedLines = add $joinedLines (substr $line $prefixLength) -}}
|
||||
{{- $joinedLines = add $joinedLines "\n" -}}
|
||||
{{- $scratch.Add "joinedLines" (substr $line ($scratch.Get "prefixLength")) -}}
|
||||
{{- $scratch.Add "joinedLines" "\n" -}}
|
||||
{{- end -}}
|
||||
{{- else -}}
|
||||
{{- $joinedLines = delimit $lines "\n" -}}
|
||||
{{- $scratch.Set "joinedLines" (delimit $lines "\n") -}}
|
||||
{{- end -}}
|
||||
|
||||
{{- partial "geturl.html" (dict "scratch" $scratch "path" (.Get 1) "lines" (slice (.Get 2) (.Get 3))) -}}
|
||||
@@ -46,12 +47,12 @@
|
||||
"basePath" ($scratch.Get "bestPath")
|
||||
"path" (.Get 1)
|
||||
"comment" ($scratch.Get "comment")
|
||||
"code" $joinedLines
|
||||
"code" ($scratch.Get "joinedLines")
|
||||
"firstLine" (int (.Get 2))
|
||||
"lastLine" (int (.Get 3))
|
||||
"language" (.Get 0)
|
||||
"offset" $prefixLength
|
||||
"opts" (printf "linenos=table,linenostart=%d%s" (.Get 2) $opts)
|
||||
"offset" ($scratch.Get "prefixLength")
|
||||
"opts" (printf "linenos=table,linenostart=%d%s" (.Get 2) ($scratch.Get "opts"))
|
||||
-}}
|
||||
{{- partial "highlightgroup.html" $groupconfig -}}
|
||||
{{- with ($scratch.Get "hidden") -}}
|
||||
|
||||
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>
|
||||
Reference in New Issue
Block a user