/** * Generate the HTML header. * Uses parent::header() and adds some additional stylesheets. * * @param string $id Page ID * * @return string Header HTML */ public function header($id) { $header = parent::header($id); // Add CSS link to <head> $header = preg_replace('#( *)</head>#', '$1 <link media="all" rel="stylesheet" type="text/css" href="reset-fonts.css"/> $1 <link media="all" rel="stylesheet" type="text/css" href="style.css"/> $1 <link media="all" rel="stylesheet" type="text/css" href="manual.css"/> $1</head>', $header); return $header; }