/* obsolete, content moved to layout.php */