add dark theme

leanprover-community · Oct 13, 2023 · 9526412 · 9526412
1 parent 89aa11b
commit 9526412
Show file tree

Hide file tree

Showing 2 changed files with 1,394 additions and 0 deletions.
diff --git a/client/src/Editor.tsx b/client/src/Editor.tsx
@@ -3,6 +3,7 @@ import { useEffect, useRef, useState } from 'react'
 import './Editor.css'
 import './editor/infoview.css'
 import './editor/vscode.css'
+import './css/dark-theme.css'
 import * as monaco from 'monaco-editor/esm/vs/editor/editor.api.js'
 import { loadRenderInfoview } from '@leanprover/infoview/loader'
 import { InfoviewApi } from '@leanprover/infoview-api'