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
Received on Fri Aug 17 2012 - 12:43:08 CDT
This archive was generated by hypermail 2.2.0 : Fri Aug 17 2012 - 12:43:09 CDT