|
|
beea0c80bf
|
CSS: slightly tweak/specify the text size/height
|
2020-05-28 12:18:28 -05:00 |
|
|
|
ab977f7e81
|
header CSS tweaks
|
2020-05-28 12:18:04 -05:00 |
|
|
|
0993147dea
|
give tables a bottom margin
otherwise they look bad, for instance, at the very end of the page, too
close to the "Last modified" text.
|
2020-05-28 08:20:24 -05:00 |
|
|
|
da2476bbda
|
enable table support in the markdown parser
|
2020-04-05 10:25:46 -05:00 |
|
|
|
576ffc359c
|
show some navigation on every page
closes #1
|
2020-03-15 20:33:23 -05:00 |
|
|
|
16373d3e55
|
custom styling to links, lighten up text a bit
|
2020-03-08 11:32:34 -05:00 |
|
|
|
01cd6587e0
|
add a HTML5 favicon icon
mostly so browsers stop requesting the old ancient path
|
2020-03-07 17:40:24 -06:00 |
|
|
|
438cc08edc
|
more style.css into a static/css/ directory
|
2020-03-07 17:26:32 -06:00 |
|
|
|
b2d34bf658
|
add some basic styling to the entire site
|
2020-03-07 16:33:47 -06:00 |
|
