echo "<meta http-equiv='Content-type' content='text/html; charset=$encoding' />\n";
echo "<link href='$path_to_root/themes/$def_theme/default.css' rel='stylesheet' type='text/css'> \n";
echo "<meta http-equiv='Content-type' content='text/html; charset=$encoding' />\n";
echo "<link href='$path_to_root/themes/$def_theme/default.css' rel='stylesheet' type='text/css'> \n";