log src/themes/default.css @ 20:cf42d9b17c25

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