Fix Monokai theme. Closes #2353

2023-05-17 15:36:10 -04:00
parent d85b06332c
commit a3d78e95f2
1 changed files with 1 additions and 1 deletions
@@ -98,7 +98,7 @@ export default {
    },
  },
  player: {
-    theme: 'monokai',
+    theme: 'dark',
    stylesheet: require('./monokai.css.js'),
  },
 }