Brian S. Stephan 411ecebbc6 fold some nav/style menu styles into header ... unnecessarily duplicated now that I have div.header, and also useful for when I start the error handling pages		2021-02-21 10:14:42 -06:00
..
css	fold some nav/style menu styles into header	2021-02-21 10:14:42 -06:00
img	use my old "square" logo as favicon	2020-12-08 18:46:04 -06:00