new fonts and syntax colors for web runner

eclipse-archived / ceylon-web-ide-backend

The Ceylon Web IDE

http://try.ceylon-lang.org/

Apache License 2.0

25 stars 11 forks source link

Closed gavinking closed 10 years ago

gavinking commented 10 years ago

I've updated the look of the web runner to match the website. WDYT?

@quintesse please merge this if you're happy with it.

quintesse commented 10 years ago

Don't know why it still shows this unmerged. But anyway, it's there. You can make this font changes now you wanted @gavinking