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