control: tag -1 upstream On Thu, Feb 28, 2013 at 9:14 AM, Vincent Lefevre wrote: > The size of the monospace font can't be configured. Here this makes > the text in monospace smaller than normal text. There should be an > option to choose the size of the monospace font independently from > normal text (like in Firefox).
I recommend submitting an upstream bug and linking back here. This probably goes against their simplicity philosophy, so they may be unlikely to do it, but it's worth a shot. There are also some font extensions available, which may already provide this kind of function. Best wishes, Mike -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
