marijnh/CodeMirror — pull request #799 by bfrohs (2012-09-05 04:19:49+00:00)
Title: Prevent logo from causing a horizontal scrollbar at smaller viewport widths.

This was especially noticeable with non-default font-sizes. The wrapper div and additional pre are required due to using the font-size (specifically monospace font-size) provided by the browser (using em throughout).

I also changed the header text (whitespace only) for `doc/upgrade_v2.2.html` and `doc/oldrelease.html` to fit the style of the other headers (assuming it was *not* intentional to have them different, apologies if it was).

An alternative solution to fix this, without the wrappers, is to add `body { font-size: 16px; }` and adjust padding/margins/etc of all other elements accordingly (any element using a monospace font would be affected). Regrettably, this alternative solution throws out user-specified font-sizes entirely.