|
|
5994b73b2e
|
give tables a lighter border
|
2020-06-14 10:56:57 -05:00 |
|
|
|
dadc902c49
|
put a bit of a background behind blockquote
closes #2
|
2020-06-14 10:55:24 -05:00 |
|
|
|
5c8251d01a
|
explicitly set the footer margin-top
|
2020-06-14 10:01:07 -05:00 |
|
|
|
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 |
|
|
|
438cc08edc
|
more style.css into a static/css/ directory
|
2020-03-07 17:26:32 -06:00 |
|
