Re: font size in urls

2011-11-08 Thread Edward K. Ream
On Mon, Nov 7, 2011 at 3:49 PM, Josef joe...@gmx.net wrote: There seems to be a difference in how fonts are handled in Windows and Linux. Leo 4.9 renders urls in the same size as normal text, but recent versions render them much larger. I use Leo on Ubuntu 10.04 LTS. What does the

Re: font size in urls

2011-11-07 Thread Josef
On Nov 4, 3:21 am, Edward K. Ream edream...@gmail.com wrote: On Thu, Nov 3, 2011 at 7:53 PM, Kent Tenney kten...@gmail.com wrote: Right, I'd looked at that node and seen url_font_family = DejaVu Sans Mono url_font_size = 12 Yet the font is very large, so I'm wondering where the large

Re: font size in urls

2011-11-03 Thread Edward K. Ream
On Thu, Nov 3, 2011 at 4:13 PM, Kent Tenney kten...@gmail.com wrote: Leo is recognizing urls and rendering them in a large font, underlined. I prefer they be the same size as other text. For questions like this, do print-settings. Doing so shows something like:: urlcolor = purple

Re: font size in urls

2011-11-03 Thread Kent Tenney
On Thu, Nov 3, 2011 at 5:22 PM, Edward K. Ream edream...@gmail.com wrote: On Thu, Nov 3, 2011 at 4:13 PM, Kent Tenney kten...@gmail.com wrote: Leo is recognizing urls and rendering them in a large font, underlined. I prefer they be the same size as other text. For questions like this, do

Re: font size in urls

2011-11-03 Thread Edward K. Ream
On Thu, Nov 3, 2011 at 7:53 PM, Kent Tenney kten...@gmail.com wrote: Right, I'd looked at that node and seen url_font_family = DejaVu Sans Mono url_font_size = 12 Yet the font is very large, so I'm wondering where the large font size is coming from. There seems to be a difference in how