Fix for issue #1122.
Merge pull request #1123 from mainerror/docs_overflow_auto

Documentation highlight boxes shouldn't show scrollbars if not necessary. Fixes #1122.