$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";
$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";