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 :)