First shot at a reasonable stylesheet for HTML output.