\n";
}
//
//--------------------------------------------------------------------------------
//Dumps out the standard header. The page title is what is displayed by the
//browser, while the HTML title is what goes in big letters at the top of the
//page. Size and alignment should be set here, italics if necessary can be
//put in the passed string. The description is text below the header to
//say a little bit more about the page.
//
function STDSTYLE_header_title($Pagetitle, $Htmltitle, $Desc)
{
echo "\n";
echo "\n";
echo "" . $Pagetitle . "\n";
echo "\n";
echo "\n";
echo "" . $Htmltitle . "
\n";
if (strlen($Desc))
{
echo "(" . $Desc . ")
\n";
}
STDSTYLE_hrule_std();
}
//
//--------------------------------------------------------------------------------
//This function tallies up the used CPU time and prints out the standard footer which
//includes this information.
//
function STDSTYLE_footer_std()
{
STDSTYLE_hrule_std();
echo "This web page is maintained by webmaster@e3ft.com.
\n";
echo "
\n";
echo "
\n";
echo "\n";
echo "\n";
}
//--------------------------------------------------------------------------------
?>