Use textual CSS class for priorities in alternate theme (#12216).
Authored by: jplang 2012-10-27
Parent: [r10725]
Child: [r10727]
