subatomic color theme - Githubissues

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

subatomic color theme #2

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

change the color used for keywords. avoid red
subatomic mode?

leodemoura commented 9 years ago

BTW, ACE editor has themes.