On Tue, 2012-02-07 at 12:29 +0100, Carlos Garcia Campos wrote: [...] > That use case is typically implemented changing the font size, instead > of scaling the text. Ok then. I knew I was missing something... :) Mario