Doc fix.
Cleanup.
Fix height and position of the stippled area in next scrollbar, patch by totto.