HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix problem noted by omry on original domtool; namely, bad handling of rewrites insid...
[hcoop/domtool2.git]
/
configDefault
/
autodoc.cfg
diff --git
a/configDefault/autodoc.cfg
b/configDefault/autodoc.cfg
index
b80bf5d
..
85af4c3
100644
(file)
--- a/
configDefault/autodoc.cfg
+++ b/
configDefault/autodoc.cfg
@@
-1,12
+1,12
@@
structure Autodoc :> AUTODOC_CONFIG = struct
val htmlHeader = fn title =>
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,
- "</
title><body><h1>",
- title,
- "</h1>\n"]
+ "</
h1>\n</div>"]
+
+val htmlFooter = "</div>"
-val
htmlFooter = "</body></html>
"
+val
stylesheet = "http://hcoop.net/hcoop.css
"
end
end