Hello Thomas,
I believe the best way to ensure that the text remains inside the Rich Text box is to replace all the <pre> tags with <span>. I believe <pre> forces the browser to adhere to all formatting, so if there is not a <br> in the right place, which would be nearly impossible to ensure with your end goal, your text will overflow past the edge of the rich text box. So, just update all oif the <pre> opening tags with <span style='font-size:9px'> and the closing </pre> tags with </span>. I believe this will solve your overflow and font-size issues.
Changing the font is a whole new beast and often is not easy because so much of it depends on the OS being used, what fonts are actually installed, browser, etc., etc. So, in my opinion, if changing the font is purely just because you like the font better, then I would avoid changing the font. Otherwise, the best approach is to just look at the
W3 Schools information about the font-family property and make your decision. I am not even sure if Gotham Book would be a viable option.
------------------------------
Brandon Drake
JHI Group
Monroeville OH
------------------------------