On Aug 17, 2012, Andreas Prilop <[email protected]> wrote:
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
