2 commits

Author	SHA1	Message	Date
Felix Roos	de83805fd9	add muted theme color + use it for inputs and tags	2026-01-20 00:06:44 +01:00
Felix Roos	33b31fb434	rename okaidia to monokai + improve it	2025-01-28 23:30:33 +01:00

Renamed from packages/codemirror/themes/okaidia.mjs (Browse further)