--- includes/theme.inc.orig 2005-07-28 00:35:07.000000000 +0200
+++ includes/theme.inc 2005-07-28 00:36:58.000000000 +0200
@@ -441,12 +441,14 @@
}
function theme_maintenance_page($content) {
+ global $base_url;
drupal_set_header('Content-Type: text/html; charset=utf-8');
theme('add_style', 'misc/drupal.css');
theme('add_style', 'misc/maintenance.css');
$output = "\n";
$output .= '';
$output .= '';
+ $output .= "\n";
$output .= '';
$output .= ' '. drupal_get_title() .'';
$output .= theme_get_styles();