Hi Jochen & Karl.

I like your enhancement.  Thanks!

However, if you open a package browser, the flip out scroll bars are green,
instead of yellow.

Cheers,

---==> Chris

PS>  I think this should be another optional characteristic of scroll bars.
Standard OS-windows-type people may prefer gray background on their
scrollers.