2 Commits

Author	SHA1	Message	Date
David Evans	5d8f9dfff3	Add dark theme when OS is set to dark mode	2020-01-20 01:26:41 +00:00
David Evans	827bcbbe0b	Use local copies of code mirror plugins in dev mode	2018-05-10 20:33:04 +01:00