Issue #34: Make filtered headers italic.