Development talk:Themes 2.0 adding a settings page

The code segments on this page contain tags like <div style="height:300px;overflow-y:scroll;"> which adds scrollbars to the code blocks when viewed on the computer screen. No problem. But when you print the document the content in those scrolling blocks (divs) is chopped off. Can we remove these divs or make them bigger so that the docs can be printed without data loss?