Fix 'home' bugs
[hcoop/domtool2.git] / configDefault / autodoc.cfg
CommitLineData
3196000d
AC
1structure Autodoc :> AUTODOC_CONFIG = struct
2
3val htmlHeader = fn title =>
7d5aaf7b 4 String.concat ["<div class=\"main\">\n<div class=\"title\">\n<img class=\"globe\" src=\"http://hcoop.net/globe.gif\" />\n<h1>",
3196000d 5 title,
7d5aaf7b
AC
6 "</h1>\n</div>"]
7
8val htmlFooter = "</div>"
3196000d 9
7d5aaf7b 10val stylesheet = "http://hcoop.net/hcoop.css"
3196000d
AC
11
12end