stylus/options
2017-11-26 14:25:46 +03:00
..
onoffswitch.css Use options dialog style 2017-09-07 01:51:28 +08:00
options.css FF options: match the default FF theme color 2017-11-26 14:25:46 +03:00
options.js Advanced options toggle (#238) 2017-11-14 22:25:30 -05:00