On 8/5/2010 12:54 PM, Sven Joachim wrote: > The solution is to use a bigger font, as I had tried to explain. Yes, that was your solution, until he explained (which you merrily missed apparently) that even though he used your "fix" the font resets back to a small size a little ways into the boot.