diff --git a/tools/index.html b/tools/index.html index 04b86b4..28844f1 100644 --- a/tools/index.html +++ b/tools/index.html @@ -1,5 +1,5 @@ - + @@ -11,7 +11,7 @@ - + @@ -60,12 +60,12 @@ inputEditor = ace.edit("input"); inputEditor.session.setMode("ace/mode/java"); - inputEditor.setTheme("ace/theme/one_dark"); + inputEditor.setTheme("ace/theme/monokai"); inputEditor.setOptions({ fontSize: "14px" }); outputEditor = ace.edit("output"); outputEditor.session.setMode("ace/mode/forth"); - outputEditor.setTheme("ace/theme/one_dark"); + outputEditor.setTheme("ace/theme/monokai"); outputEditor.setReadOnly(true); outputEditor.setOptions({ fontSize: "14px" });