Thanks for the clarification.

As for the "shrink" idea, assuming those min/max values can be set by each user, I think that might be a good way to go.

However, I'm not sold on the "scrollbars" idea. I have seen this on a number of sites (including GitHub) and I generally don't like it: the scrolling windows typically only allow a very limited number of lines and I feel like I've regressed to the 80x24 screens I had to use many decades ago (in many cases, there's far less than 24 lines in the scrolling window). If you're only talking about vertical scrolling, and the height of the scrolling window could be adjusted — in Settings, with CSS, or using some other mechanism — I might be more amenable to this suggestion. I strongly dislike having to scroll code (or data or whatever) in two directions: horizontal scrollbars would not get my support.

I appreciate we're just kicking around ideas here. Any substantial discussion should be done in its own thread. I probably wrote too much about "scrollbars" for a "Re^5" post in a thread about introducing HTML5 elements.