+ echo "<link href='$path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css'> \n";
+ echo "<link href='$path_to_root/themes/default/images/favicon.ico' rel='icon' type='image/x-icon'> \n";
+ if ($css)
+ echo '<link href="'.$css.'" rel="stylesheet" type="text/css">';
+
+ send_scripts();