/*  JS-Datei format_setcss.js. Enthält nur die Function setcss. Wird im Head von Texdateien 
   geladen und sofort ausgeführt, um die zur Bildschirmauflösung passsende css-Datei zu laden */ 

function setcss() {
if (screen.width == 800) {
document.write("<link rel=stylesheet type=text/css href=format_800.css />");
}
if (screen.width == 1024) {
document.write("<link rel=stylesheet type=text/css href=format_1024.css />");
}
if (screen.width == 1152) {
document.write("<link rel=stylesheet type=text/css href=format_1152.css />");
}
if (screen.width > 1152) {
document.write("<link rel=stylesheet type=text/css href=format_big.css />");
}
}