Comment 3 for bug 1346926

Hmm, from my tests the use of vertical line has been in the raw theme's style.css file since version 1.7

But anyway there should be an easy way to override a style without having to edit a theme's style or create a new theme.

I'm thinking of adding a hook so one can add in a stylesheet in the /local/ directory.

The way I'll do it is to add a local_add_stylesheet($themename) function hook so that it can be called in /local/lib.php
and it will return a web path to a stylesheet. I'll get the themename passed in so that one can even add a local sheet based on which theme is showing.