Stephen Jianu 729c71fac0 Add Settings panel with a button to change themes ... Only 2 themes besides the default are implemented for now. More to come!		2023-12-31 16:29:17 -06:00
..
fonts.css	Added old files	2020-04-16 19:53:23 +09:00
main.css	Add Settings panel with a button to change themes	2023-12-31 16:29:17 -06:00
reset.css	Added old files	2020-04-16 19:53:23 +09:00
theme.css	Add Settings panel with a button to change themes	2023-12-31 16:29:17 -06:00