by adding a new tag.  Patch by Mark Roseman. Also give <pre> text a very
light blueish-gray background similar to that used by Sphinx html.