[@sambauers Participant 17 years ago]

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