On 17 Aug 2012, at 17:55, Andreas Prilop 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. Michael Everson * http://www.evertype.com/
