puts $fid " </div>"
puts $fid " </div>"
}
- puts $fid " <div id=\"docinside\">"
+ if { "$toc" == "" } {
+ puts $fid " <div id=\"docinside-notoc\">"
+ } else {
+ puts $fid " <div id=\"docinside\">"
+ }
}
proc end_html {fid} {
puts $fid "#docinside {"
puts $fid " padding-right: 14em;"
puts $fid "}"
+puts $fid "#docinside-notoc {"
+puts $fid "}"
puts $fid "#tocinside {"
puts $fid " padding: 5px;"
puts $fid "}"