[@bbolman Participant 19 years, 9 months ago]

It seems to work just fine for me. I must admit, I do like this more than the default theme.