Add nice header/footer for autodoc
[hcoop/domtool2.git] / configDefault / autodoc.cfg
index b80bf5d..85af4c3 100644 (file)
@@ -1,12 +1,12 @@
 structure Autodoc :> AUTODOC_CONFIG = struct
 
 val htmlHeader = fn title =>
-                   String.concat ["<html><head><title>",
+                   String.concat ["<div class=\"main\">\n<div class=\"title\">\n<img class=\"globe\" src=\"http://hcoop.net/globe.gif\" />\n<h1>",
                                   title,
-                                  "</title><body><h1>",
-                                  title,
-                                  "</h1>\n"]
+                                  "</h1>\n</div>"]
+
+val htmlFooter = "</div>"
 
-val htmlFooter = "</body></html>"
+val stylesheet = "http://hcoop.net/hcoop.css"
 
 end