Fix scrollbar problem in CSS.

Fixes a problem in the display of the table of contents' (the left sidebar) scrollbar.
this rule not needed if we don't implement the JS scrolly thing.