}
function doMain($i) {
global $topnav, $authors, $url, $title, $subtitle;
?>
if ( $topnav ) { doNav($i); } ?>
if ( $i == 0 ) { doCover(); } ?>
include("$i.content"); ?>
if ( ! $topnav ) { doNav($i); } ?>
}
function doTail($i) {
?>
}
function tell($msg) {
?>
}
function closeHide() {
global $hidden_count;
?>
}
$hidden_count = 0;
function enableHide() {
global $hidden_count;
?>
}
function h($tag, $contents) {
global $hidden_count;
echo "<$tag ID=\"foo".$hidden_count."\" STYLE=\"visibility:
hidden;\"> $contents";
$hidden_count++;
}
function hi($contents) {
h("LI",$contents);
}
?>