At the moment the core generated HTML document loads five styles:
print.css,
style.php?id=<style_no>&lang=<lang> and the three one-liners:
normal.css,
medium.css,
large.css. Surely these last three are really just obsolete?
- All modern browsers allow you to change the base font size by zooming the text. Most users who do this use the ctrl+scroll wheel or a touchpad gesture. Few even realise that you can select alternative page styles.
- Some of the legacy browsers (e.g. MSIE6, IIRC) didn't even allow you access to non-default page styles.
I would agree that this would make more sense if the size CSS files were used for more than just specifying the base font size, but they aren't. So given that this feature is redundant, why not just drop the normal / medium / large CSS files and move the
body {font-size: 10px;} into the style.php generated template?
Three less files to fetch if the CSS files aren't cached in the browser.