sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use slightly smaller font files.

This commit is contained in:
sforman 2023-10-03 20:19:31 -07:00
parent d798339f86
commit 8c6d3dcff8
10 changed files with 50 additions and 73 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/build_index.py
View File

@ -19,7 +19,7 @@ print(f'''\
<head> <head>
<meta charset="utf-8"> <meta charset="utf-8">
<title>{title_of(html)}</title> <title>{title_of(html)}</title>
<link rel="stylesheet" href="/css/fonts.css"> <link rel="stylesheet" href="/css/font/fonts.css">
<link rel="stylesheet" href="/css/site.css"> <link rel="stylesheet" href="/css/site.css">
<script src="/Joy.js"></script> <script src="/Joy.js"></script>
</head> </head>

BIN
docs/html/css/font/QldgNThLqRwH-OJ1UHjlKENVzkWGVkL3GZQmAwLYxYWI2qfdm7Lpp4U8aRo.ttf Normal file
View File

Binary file not shown.

BIN
docs/html/css/font/SlGDmQSNjdsmc35JDF1K5E55YMjF_7DPuGi-6_RUAw.ttf Normal file
View File

Binary file not shown.

BIN
docs/html/css/font/SlGDmQSNjdsmc35JDF1K5E55YMjF_7DPuGi-DPNUAw.ttf Normal file
View File

Binary file not shown.

BIN
docs/html/css/font/SlGFmQSNjdsmc35JDF1K5GRwUjcdlttVFm-rI7dbR496.ttf Normal file
View File

Binary file not shown.

BIN
docs/html/css/font/SlGFmQSNjdsmc35JDF1K5GRwUjcdlttVFm-rI7e8QI96.ttf Normal file
View File

Binary file not shown.

36
docs/html/css/font/fonts.css Normal file
View File

@ -0,0 +1,36 @@
@font-face {
font-family: 'EB Garamond';
font-style: italic;
font-weight: 400;
font-display: swap;
src: url(SlGFmQSNjdsmc35JDF1K5GRwUjcdlttVFm-rI7e8QI96.ttf) format('truetype');
}
@font-face {
font-family: 'EB Garamond';
font-style: italic;
font-weight: 700;
font-display: swap;
src: url(SlGFmQSNjdsmc35JDF1K5GRwUjcdlttVFm-rI7dbR496.ttf) format('truetype');
}
@font-face {
font-family: 'EB Garamond';
font-style: normal;
font-weight: 400;
font-display: swap;
src: url(SlGDmQSNjdsmc35JDF1K5E55YMjF_7DPuGi-6_RUAw.ttf) format('truetype');
}
@font-face {
font-family: 'EB Garamond';
font-style: normal;
font-weight: 700;
font-display: swap;
src: url(SlGDmQSNjdsmc35JDF1K5E55YMjF_7DPuGi-DPNUAw.ttf) format('truetype');
}
@font-face {
font-family: 'Inconsolata';
font-style: normal;
font-weight: 400;
font-stretch: normal;
font-display: swap;
src: url(QldgNThLqRwH-OJ1UHjlKENVzkWGVkL3GZQmAwLYxYWI2qfdm7Lpp4U8aRo.ttf) format('truetype');
}

70
docs/html/css/fonts.css
View File

File diff suppressed because one or more lines are too long

13
docs/html/css/func_ref.css
View File

@ -2,7 +2,8 @@
body { body {
background: #fff; background: #fff;
color: black; color: black;
font-family: 'EB Garamond 16'; font-family: 'EB Garamond';
font-size: large;
} }
footer { footer {
@ -59,3 +60,13 @@ span.kind {
h3 { h3 {
margin-bottom: 0.1em; margin-bottom: 0.1em;
} }
div.definition {
font-family: monospace, 'Inconsolata';
background: #eee;
padding: 0.5em;
margin-left: 2em;
margin-right: 2em;
}

2
docs/html/css/site.css
View File

@ -2,7 +2,7 @@
body { body {
background: #fff; background: #fff;
color: black; color: black;
font-family: 'EB Garamond 12'; font-family: 'EB Garamond';
} }
footer { footer {