Did an overhault on the HTML syntax highlighting because I wasn't
satisfied with it-- I think it looks much better now