more standard header, with utf-8 encoding;
authorwenzelm
Thu, 01 Apr 2021 19:07:06 +0200
changeset 73784 cf1a1e92bf34
parent 73783 c337c798f64c
child 73785 89cf7c903aca
more standard header, with utf-8 encoding;
src/Pure/Thy/presentation.scala
--- 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)
     }
   }