vimrc improvements

I added a font specificiation to the vimrc file.
I added a variable to control HTML syntax highlighting.