Added option to change the theme.

This commit is contained in:
n1474335 2017-04-25 00:21:38 +01:00
parent d71ac2e894
commit 2e4076bb75
5 changed files with 20 additions and 0 deletions

View file

@ -46,6 +46,7 @@ var main = function() {
errorTimeout : 4000,
autoBakeThreshold : 200,
attemptHighlight : true,
theme : "classic",
};
document.removeEventListener("DOMContentLoaded", main, false);