The main antitheme CSS is in doc/style.css. This gets copied into the basewiki (along with a subset of doc/) when IkiWiki is built.

When building the doc-wiki from ./doc, the style.css overrides the copy in the basewiki. Normally this doesn't matter as they're one-and-the-same, but if you try to build the doc-wiki with a theme enabled, this will overwrite the theme.

To resolve this I want to move style.css out of ./doc and rejig the necessary machinery so things continue to work as they should.

­— Jon, 2025-06-02