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