Change color of selection in the sidebar.
Authored by: jplang 2012-01-16
Parent: [r8661]
Child: [r8663]
