[@sambauers Participant 17 years, 3 months ago]

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