// JavaScript Document

lang = (document.location.pathname.indexOf('englisch') > 0) ? 'en' : 'de';
size = (screen.width >= 1280 ) ? '_1280' : '';

document.write("<link href='/include/main"+size+".css' rel='stylesheet' type='text/css' />");
document.write("<link href='/include/menu_"+lang+size+".css' rel='stylesheet' type='text/css' />");
document.write("<!--[if lte IE 6]>");
document.write("<link rel='stylesheet' type='text/css' href='/include/main_ie.css' media='all'>");
document.write("<![endif]-->");
document.write("<!--[if IE 7]>");
document.write("<link rel='stylesheet' type='text/css' href='/include/main_ie_7.css' media='all'>");
document.write("<![endif]-->");