I fixed hivu.css to strike some middle ground between screen and print fonts. The recommendation for Safari Preferences/Appearence fonts size is now 13. The DejaVu (Vera) fonts have smaller line height to char size ratio. This might explain why the MoinMoin developers, possibly coming from Open Source world, set the style line height so large in the theme.
----- Original Message ---- From: Brian Schott <[EMAIL PROTECTED]> To: Beta forum <[email protected]> Sent: Sunday, July 23, 2006 11:48:45 AM Subject: Re: [Jbeta] Unicode and Box Drawing font for Mac Oleg, This font information is great. The only feature that does not work perfectly for me is still the JWiki. Even JWiki box drawing is MUCH improved in Safari now. The ugly horizontal misalignment is now gone, and the slight vertical misalignment that remains is very regular and does not detract from the readability. By vertical misalignment I mean there is a vertical gap between the box characters in JWiki. OTOH when I use your original http://openj.sourceforge.net/wiki/common/hivu.css the gap is eliminated in the JWiki. The font names have NOT been changed to add DejaVu Sans Mono in this .css file. Would adding DejaVu Sans Mono make the <pre> and <tt> text even more appealing? If so how could it be added, please? /* hivu.css - Custom stylesheet to fix code font issues in MoinMoin themes 02/02/06 Oleg Kobchenko */ h1, h2, h3, h4 { color: #666; } tt, pre, textarea { font-family: Courier New, Monaco, Courier, monospace; } tt { font-size: 1em; } pre, textarea { font-size: 0.9em; line-height: 1.1em; } (B=) On Sat, 22 Jul 2006, Oleg Kobchenko wrote: + Note: DejaVu Sans Mono may not appear under + Fixed Width collection, so choose it from All Fonts. + + Box Drawing in Terminal + + - In Terminal menu, Window Settings, select Display + - make sure "Wide glyphs for Japanese..." is unchecked + - select any fixed pitch font, including DejaVu Sans Mono + which has the advantage of eliminating gaps between glyphs + (font size 11-12). + - select "Use These Setting as Default" + - test + 9!:7 (16,:11)];.0 a. + <"0 i.3 4 + + Box Drawing in Safari + + - In Safari menu, Preferences, select Appearance + - In "Fixed-width font" select any fixed pitch font, including + DejaVu Sans Mono. + Note: variate the size and watch the web page window, + around size 12 is good, though size 13 may produce misalignment. + + ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
