/* empty: the live server answers this stylesheet with an html error page */