* hide extra options by default and style a little bit
* handle json as javascript
* handle unknown file type highlighting