On Wed, 4 Jun 2008 12:32:17 +0100 Matthew Toseland wrote: > > > > > > > Well, I guess we will have to cope with that for the time being :/ > > > Can't we make it use a font-relative size? IIRC CSS supports something like > that? You are right! "width: 9.5em;" should do the magic!