Closes #1181: make CSS highlighting classes more consistent.
Closes #1181: make CSS highlighting classes more consistent.

sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments