Omar Roth 96c520b02b Add user preferences		2018-07-16 11:24:24 -05:00
..
darktheme.css	Add user preferences	2018-07-16 11:24:24 -05:00
default.css	Put word-wrap in default.css	2018-04-17 15:53:12 -05:00
lighttheme.css	Add dark theme	2018-04-13 21:32:14 -05:00