|
|
ed270bc915
|
Hide checkboxes and icons when no CSS in head is loaded
This seems to help in Firefox's reader mode.
Also adjust images to not be huge without CSS.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 19:21:46 -07:00 |
|
|
|
5e6b28a9a6
|
Insert series meta for Agda post-processing
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 22:41:47 -07:00 |
|
|
|
038c8e0ac6
|
Enable bold Raleway loading
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 20:31:23 -07:00 |
|
|
|
a613c68f01
|
Remove crossorigin attribute from katex.min.css
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 19:25:15 -08:00 |
|
|
|
973be263dc
|
Defer some heavier CSS until later to help page loading times.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 16:00:57 -08:00 |
|
|
|
1f64536c30
|
Add comments to HTML
|
2023-12-30 15:46:36 -08:00 |
|
|
|
4f457874f3
|
Remove KaTeX CSS URL in local mode since it's already loaded above
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 14:30:44 -08:00 |
|
|
|
f5be44887b
|
Extract more CSS/JS into static files on static.danilafe.com
|
2023-12-30 14:30:27 -08:00 |
|
|
|
e82879434e
|
Add support for plausible analytics
|
2023-12-30 13:12:01 -08:00 |
|
|
|
098767e766
|
Use static.danilafe.com to host KaTeX CSS/Fonts, and make that configurable.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-29 22:13:59 -08:00 |
|
|
|
d1e25ddf19
|
Add the option to specify discussion rooms on articles
|
2023-04-15 15:08:08 -07:00 |
|
Danila Fedorin
|
667440d2e3
|
Serve KaTeX JS if we're editing live
|
2022-12-09 15:38:44 -08:00 |
|
|
|
b5e2821918
|
Use newer KaTeX version
|
2022-10-18 19:11:38 -07:00 |
|
|
|
5484e084a4
|
Revert "Pull a more recent version of the stylesheet from KaTeX"
This reverts commit 620c269d91.
|
2022-03-27 19:34:25 -07:00 |
|
|
|
620c269d91
|
Pull a more recent version of the stylesheet from KaTeX
|
2022-03-27 19:21:48 -07:00 |
|
|
|
77ea2900bc
|
Move KaTeX CSS earlier in head
|
2022-03-27 18:53:52 -07:00 |
|
|
|
9b0c70ac05
|
Add RSS auto-discovery
|
2021-12-15 13:30:25 -08:00 |
|
|
|
94c285a2f1
|
Extract website theme into its own repository
|
2021-04-15 01:37:18 -07:00 |
|
