|
|
56eb767e33
|
don't let sub/superscripts affect line height
|
2021-02-11 18:53:57 -06:00 |
|
|
|
48c6e8495a
|
provide some styling of footnotes
|
2021-02-11 18:20:42 -06:00 |
|
|
|
1878d5951b
|
tweak the base text line height, again
|
2021-02-11 09:35:21 -06:00 |
|
|
|
829165ad8c
|
style link underline same color as the hover
|
2021-02-11 09:35:21 -06:00 |
|
|
|
7d982b96c9
|
tweak text colors; less normal, more bold
|
2021-02-11 09:35:21 -06:00 |
|
|
|
5e41cde52e
|
use a flexbox for the header sections
this is better than a float because I have always kind of hated how
floating divs work, and this also orders and displays the navs better in
elinks
|
2021-02-11 00:23:19 -06:00 |
|
|
|
ad33cf2e83
|
replace section tags with div tags
syntactically incorrect usage, as picked up by a W3C validator
|
2021-02-11 00:08:19 -06:00 |
|
|
|
b0795999fe
|
make splash images look better on small devices
|
2020-12-14 16:26:08 -06:00 |
|
|
|
aaced9d0e1
|
add polycephaly-style figure support
this is really pushing my patience for CSS, but I've always thought this
looked nice, so I'm going to try to retain it
|
2020-12-14 16:25:35 -06:00 |
|
|
|
4042932240
|
tone down the line-height a bit
I think the color changes and using viewport magic has helped
readability a bit
|
2020-12-08 18:56:49 -06:00 |
|
|
|
49ab2befb6
|
disable browser resize magic, do viewport magic instead
|
2020-12-08 18:47:02 -06:00 |
|
|
|
fbf6a81e0b
|
use my old "square" logo as favicon
also provide a backgroundless version as a possible splash page image
|
2020-12-08 18:46:04 -06:00 |
|
|
|
dabf9f7544
|
more corrections of the link colors
|
2020-12-08 18:27:55 -06:00 |
|
|
|
67e1890629
|
increase the line height for readability(?)
|
2020-12-07 21:55:56 -06:00 |
|
|
|
e1cb541ea5
|
highlight links in light theme as in dark theme
|
2020-12-07 21:55:32 -06:00 |
|
|
|
93e9c8dc24
|
tweaks to the dark theme
|
2020-12-07 21:54:43 -06:00 |
|
|
|
7cf11986c5
|
user-selectable light and dark themes
cookies, template rendering with different CSS files via default or
request param or cookie, etc.
|
2020-10-30 00:19:19 -05:00 |
|
|
|
fe7d61e1f7
|
actually style the white bg beyond the viewport scroll
|
2020-10-25 18:05:48 -05:00 |
|
|
|
1398cfe3db
|
put some sidebars on the site for readability
|
2020-10-25 17:48:19 -05:00 |
|
|
|
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 |
|
|
|
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 |
|
