doc: Define const and pure.
Add the _developer_default style.

This is needed to enter the developer menu.