From 0f67dd1318c353d29c8668ef3cdbb4c2673d6d9c Mon Sep 17 00:00:00 2001 From: zongor Date: Mon, 29 Jun 2026 16:43:13 -0700 Subject: [PATCH] change theme to match mine better --- tools/index.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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" });