On Fri, 17 Aug 2012, Michael Everson wrote: >> http://www.user.uni-hannover.de/nhtcapri/combining-marks.html > > "To change fonts quickly, choose among different style sheets > in your browser:" > How? I'm using Safari.
If Safari doesn't let you select "alternate stylesheets" then you can't "change fonts quickly" but only slowly :-) Safari > Preferences > Appearance > Standard font
