al/pages
1
0
Fork 0
Code Issues 3 Pull requests Projects Releases Packages Wiki Activity Actions

subset julia mono

Browse source
This commit is contained in:
Alexander 2025-06-14 16:51:41 -04:00
parent 4388064d92
commit e5fda203c3
4 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -2,3 +2,5 @@
**/soupault.toml
css/code.css
pgvv/
all_chars.txt
**/*-Subset.woff2

6
build.sh
View file

@ -10,6 +10,12 @@ function soup_config {
source ./pgvv/bin/activate
find acl.cool/site/ ytheleus.org/site/ -type f \( -name '*.dj' -o -name '*.html' \) -exec cat {} + > all_chars.txt
for font in fonts/JuliaMono/*{-Light,-Regular,-SemiBold}{,Italic}.woff2; do
pyftsubset "$font" --flavor=woff2 --text-file=all_chars.txt \
--output-file="$(awk -F '.woff2' '{print $1}' <<< "$font")-Subset.woff2"
done
rm css/code.css
pygmentize -f html -S algol_nu | grep -v 'line-height' > css/code.css

10
css/fonts.css
View file

@ -119,35 +119,35 @@
@font-face {
font-family: 'Mono';
src: url('../assets/fonts/JuliaMono/JuliaMono-LightItalic.woff2') format('woff2');
src: url('../assets/fonts/JuliaMono/JuliaMono-LightItalic-Subset.woff2') format('woff2');
font-weight: 300;
font-style: italic;
}
@font-face {
font-family: 'Mono';
src: url('../assets/fonts/JuliaMono/JuliaMono-Regular.woff2') format('woff2');
src: url('../assets/fonts/JuliaMono/JuliaMono-Regular-Subset.woff2') format('woff2');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'Mono';
src: url('../assets/fonts/JuliaMono/JuliaMono-RegularItalic.woff2') format('woff2');
src: url('../assets/fonts/JuliaMono/JuliaMono-RegularItalic-Subset.woff2') format('woff2');
font-weight: normal;
font-style: italic;
}
@font-face {
font-family: 'Mono';
src: url('../assets/fonts/JuliaMono/JuliaMono-SemiBold.woff2') format('woff2');
src: url('../assets/fonts/JuliaMono/JuliaMono-SemiBold-Subset.woff2') format('woff2');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'Mono';
src: url('../assets/fonts/JuliaMono/JuliaMono-SemiBoldItalic.woff2') format('woff2');
src: url('../assets/fonts/JuliaMono/JuliaMono-SemiBoldItalic-Subset.woff2') format('woff2');
font-weight: bold;
font-style: italic;
}

2
deps.sh
View file

@ -5,6 +5,8 @@ if ! [[ -d pgvv/ ]]; then
source ./pgvv/bin/activate
python3 -m pip install --upgrade pip
pip install --upgrade pygments
pip install --upgrade fonttools
pip install --upgrade brotli
deactivate
fi