From a3d78e95f2761b363392d7e687d0e5914d73a249 Mon Sep 17 00:00:00 2001 From: Deluan Date: Wed, 17 May 2023 15:36:10 -0400 Subject: [PATCH] Fix Monokai theme. Closes #2353 --- ui/src/themes/monokai.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/src/themes/monokai.js b/ui/src/themes/monokai.js index b8044029..7bf5ee29 100644 --- a/ui/src/themes/monokai.js +++ b/ui/src/themes/monokai.js @@ -98,7 +98,7 @@ export default { }, }, player: { - theme: 'monokai', + theme: 'dark', stylesheet: require('./monokai.css.js'), }, }