Florine W. Dekker
|
6965a9d20e
|
Deprecate mostly-unnecessary header function
|
2022-11-19 17:26:07 +01:00 |
Florine W. Dekker
|
8d5b6ef101
|
Improve nav, fix some inconsistencies
|
2022-11-19 17:20:35 +01:00 |
Florine W. Dekker
|
04095848c2
|
Resolve issues with nav size, add toc, etc.
|
2022-11-19 13:35:14 +01:00 |
Florine W. Dekker
|
2702e00880
|
Experimentally sort-of migrate to pico.css
First step towards fixing #21.
|
2022-11-19 01:31:37 +01:00 |
Florine W. Dekker
|
11f66473f3
|
Add external link icon
Fixes #22.
|
2022-11-19 00:03:47 +01:00 |
Florine W. Dekker
|
a5f43c6436
|
Add separate classes for template elements
Fixes #23.
|
2022-11-18 23:43:41 +01:00 |