X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7d5aaf7b68b781459a7cd9d0abf493b5bcab30e6..47b18d2866e2d2a6533f23ab64c5c72a747065ff:/configDefault/autodoc.cfg diff --git a/configDefault/autodoc.cfg b/configDefault/autodoc.cfg index 85af4c3..3fb2418 100644 --- a/configDefault/autodoc.cfg +++ b/configDefault/autodoc.cfg @@ -1,12 +1,12 @@ structure Autodoc :> AUTODOC_CONFIG = struct val htmlHeader = fn title => - String.concat ["
\n
\n\n

", + String.concat ["
\n
\n\n

", title, "

\n
"] val htmlFooter = "
" -val stylesheet = "http://hcoop.net/hcoop.css" +val stylesheet = "/hcoop.css" end