Better mini-viewport selected color and commented support for alternate theme.