function render_header($header_content) { global $theme_width; echo "

"; echo "

\n"; echo "

".showsublinks("·")."

".showsubdate()."

\n"; echo "

"; echo "\n\n"; }