Brian S. Stephan ccf8434f43 remove a bunch of unnecessary font size styling ... in the end, a lot of this doesn't really matter, and right now, I slightly prefer the site with a touch bigger font, so let's just let the default do its thing		2021-10-08 07:16:31 -05:00
..
css	remove a bunch of unnecessary font size styling	2021-10-08 07:16:31 -05:00
img	use my old "square" logo as favicon	2020-12-08 18:46:04 -06:00