Style fixes for HTML source view

Fixes #154 

/cc @diegoreymendez 
@bummytime - Should this be 15px?