<br><div class="gmail_quote">On Mon, Feb 23, 2009 at 5:51 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br><div class="Ih2E3d">&gt; 2. Don&#39;t enforce a fixed width for the text. &nbsp;Let user narrow window to<br>
&gt; fit on screen without having to do horizontal scrolling.<br>
<br>
</div>
Instead of making the whole page body a fixed width, we could apply a<br>
fixed width to just the elements that need it. But those are exactly<br>
the elements that you&#39;re likely to be reading in the docs, so I don&#39;t<br>
think it would change the effective width of the document.<br>
</blockquote><div><br>my approach in case like this is to use horizontal overflow auto scrolling for the monospace font block, so they do not stretch the parent container if they exceed parent container&#39;s width.&nbsp; In the case the browser doesn&#39;t recognize the attributes it would behave the way you currently have it.<br>
<br></div></div>