log src/themes/default.css @ 37:0c4e4b5ef40d

age author description
Sun, 07 Aug 2022 00:51:26 -0600 Franklin Schmidt CSS cleanup
Sun, 07 Aug 2022 00:19:52 -0600 Franklin Schmidt remove "icons" option
Thu, 04 Aug 2022 17:59:02 -0600 Franklin Schmidt move /development/* to / base src/development/themes/default.css@806526bee5e4