>> Another idea is to make the fonts a point or two >> smaller, since they are quite generously large. (At >> least this is unlike some places where the code is >> displayed in 6pt Eyestrain Monospace...) But these >> fonts would still be very readable at a point or two >> smaller.
HG> IMHO, it is not a good point to make fonts smaller... Don't even think about that. I don't like the idea to became blind after reding php manuals... -- Best regards, Olexandr mailto:[EMAIL PROTECTED]