These should be considered as user preferences and not as document preferences. Very obviously, hard copies are a bad media for implementing user preferences, but Web page browsers always implement them. Note that browsers implement hard-copying in a way that is quite user-friendly: print preview in Windows Netscape, Postscript support in Gnu Emacs, etc. HTML supports very well this behaviour: default fonts are provided by browsers. Browsers can override documents font information.