echo "<html dir='" . $_SESSION['language']->dir . "' >\n";
echo "<head><title>$title</title>";
$local_stylesheet = $_SESSION['language']->get_stylesheet();
echo "<html dir='" . $_SESSION['language']->dir . "' >\n";
echo "<head><title>$title</title>";
$local_stylesheet = $_SESSION['language']->get_stylesheet();
- echo "<meta http-equiv='Content-type' content='text/html'; charset='$encoding'>";
- echo "<link href='$local_path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css' /> \n";
+ echo "<meta http-equiv='Content-type' content='text/html; charset=$encoding'>";
+ echo "<link href='$local_path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css'> \n";