On 3 August 2016 at 15:27, Robert Helling <[email protected]> wrote: > Hi, > > On 03.08.2016, at 11:31, Lubomir I. Ivanov <[email protected]> wrote: > > the safest bet is to use actual images in the HTML instead special font > glyphs. > > > only when I checked the second time, I realized, the problem is not one of > the arrows, it is the “fat hyphen”. We could simply replace that with an > ordinary dash (minus sign) which should be present in any font. > > What do you think? >
sounds good. lubomir -- _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
