Emphasize Active Lemmas Visual Filter

Format: