Encoding test: Document in ISO-8859-1 with unmarked ISO-8859-1 stylesheet

If this is green, the stylesheet was treated as ISO-8859-1.