On Mon, Jun 06, 2011 at 04:33:20PM +0200, Sebastian Beßler wrote:
> Am 06.06.2011 16:24, schrieb Indi:
>
> > If you (or if anyone using it *on* *linux*) manage(s) to double the
> > size of the default fonts in the folder list and message list I'll
> > listen,
>
> You mean something like this?
> http://twitpic.com/57u6s9
>
> It works just like Tanstaafl said with userChrome.css
>
Very first thing I tried after realizing they stupidly didn't allow
it in the config options was
/* Global UI font */
* { font-size: 32px !important;
font-family: DejaVu Sans Mono !important;
}
Zero results.
At one point it was far more specific with a number of individual
fonts listed, not one of them worked.
I can only conclude there is a vast gulf of difference between the
version you're using and the version I tested.
You seem eager to conclude other things, but that's your problem ;)
--
klaatu virada nicto
