On Tue, Jan 17, 2012 at 04:16:11PM +0100, Knut Anders Hatlen wrote:
> 
> I've changed the style sheets so that the browser's default fonts are
> used, which seems to fix the issue with too big fonts. (Not sure it
> fixed the related issue with too small fonts mentioned in the bug
> report. Vlad, you might want to double-check that.)
> 
> That leaves only two issues to be fixed on bug #19105, I think:
> 
> 1) Missing white lines between code lines (perhaps not a stopper?)

As said, this a simple style change. I think, I already described,
where/how to change it - not sure, whether on a list or bugzilla
(guess the latter because I can't find it in my mail archives...).

Regards,
jel.
-- 
Otto-von-Guericke University     http://www.cs.uni-magdeburg.de/
Department of Computer Science   Geb. 29 R 027, Universitaetsplatz 2
39106 Magdeburg, Germany         Tel: +49 391 67 12768
_______________________________________________
opengrok-discuss mailing list
opengrok-discuss@opensolaris.org
http://mail.opensolaris.org/mailman/listinfo/opengrok-discuss

Reply via email to