log src/themes/default.css @ 47:16b61f228546 default tip

age author description
2022-08-30 Franklin Schmidt fix paste html and cleanup
2022-08-30 Franklin Schmidt fix grip
2022-08-30 Franklin Schmidt use buttons
2022-08-30 Franklin Schmidt css cleanup
2022-08-19 Franklin Schmidt simplify icons
2022-08-07 Franklin Schmidt CSS cleanup
2022-08-07 Franklin Schmidt remove "icons" option
2022-08-04 Franklin Schmidt move /development/* to / base src/development/themes/default.css@806526bee5e4