Better file-endings in generated HTML/CSS.