/*
generteHTMLHeader.xsl (uit basis) zoek naar portal_style.css.
portal_style.css woordt niet gebruikt in Hotelplan.
Deze is vervangen door home_style.css (???)
*/