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

..

dark.css

fold some nav/style menu styles into header

2021-02-21 10:14:42 -06:00

light.css

fold some nav/style menu styles into header

2021-02-21 10:14:42 -06:00

style.css

fold some nav/style menu styles into header

2021-02-21 10:14:42 -06:00