[@sambauers Participant 18 years, 5 months ago]

It’s native and built-in to the default Kakumei themes. Other themes can be quite easily adapted to use them too.