tweaks to syntax highlighting

turns out the html syntax highlighter does indeed recognize inline
javascript so we can just use that and retain the <script> tags