--- a/src/Pure/Thy/presentation.scala Thu Apr 01 19:01:19 2021 +0200
+++ b/src/Pure/Thy/presentation.scala Thu Apr 01 19:07:06 2021 +0200
@@ -369,13 +369,10 @@
browser_info + Path.explode("isabelle.gif"))
val title = "The " + XML.text(Isabelle_System.isabelle_name()) + " Library"
File.write(browser_info + Path.explode("index.html"),
-"""<?xml version="1.0" encoding="iso-8859-1"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-
-<html xmlns="http://www.w3.org/1999/xhtml">
+ HTML.header +
+"""
<head>
- <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+ """ + HTML.head_meta + """
<title>""" + title + """</title>
</head>
@@ -451,8 +448,7 @@
</li>
</ul>
</body>
-</html>
-""")
+""" + HTML.footer)
}
}