well i'm running a server on my own infrastructure so i've got control over how the content is served. a pre tag is going to be your best option because that's all mine is anyways! (most) browsers automatically handle text files by placing them in a pre tag. i'd recommend doing that :)
Got it.
Got the site looking the way I want in the spirit of what you did:
Thanks much for chiming it because I vastly prefer your approach to what I'd been doing.