evancz/elm-lang.org — pull request #12 by benizi (2012-12-09 22:17:40+00:00)
Title: Editor tweaks

After seeing the StrangeLoop presentation on Elm, it seemed like a good introduction to Elm to try and make the themes and font size choosable. Didn't really end up using Elm the way I'd anticipated, but I still ended up making dropdowns for those two options (Theme and "Zoom").