// textbreite.js - je nach Auflösung mehr Platz für große Schrift
//if (document.getElementById) {
// Schließt nicht-standardkonforme Browser aus
// alert(screen.width);
//if (screen.width ==1024){
// document.write("<STYLE TYPE='text/css'>#textbreite {width:37em;};</STYLE>");
//}
//else if (screen.width >1024){
// document.write("<STYLE TYPE='text/css'>#textbreite {width:42em;};</STYLE>");
//}}