[@sambauers Participant 17 years, 9 months ago]

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