Re: java allow . . . ?
Java is allowed, as is javascript.
Your ASCII art is fine for me in Navigator 7.0
(sounds like you are getting font-switching to a proportional font rather than the fixed-width that ASCII art needs - or it could be as simple as the space character being shorter than others)
