This makes verbatime blocks easier on my eyes.
Tweak colors, add borders around some images, remove static definitions from engine docs.
Doxygen-produced HTML docs now look a lot more like the web site, and are now more attractive in general. :)