Update to the newest hljs

(Because it has more language support including rust)

hljs had altered its elements' classes, so I needed an updated theme
file. solarized_dark.css had been altered to work with a dark
background; I pulled that patch into a separate file to ease the
theme-file change.
Declare a doctype