new fonts and syntax colors for web runner

I've updated the look of the web runner to match the website. WDYT?

@quintesse please merge this if you're happy with it.