Rebuilding the documentation theme

The Vanilla theme used in the documentation is based on vanilla-sphinx-test. All the source files needed to generate it are in the doc/vanilla/ directory, though for simplicity the output of building the theme’s CSS is currently committed to git rather than built dynamically. To rebuild it, run the following on at least Ubuntu 22.04:

make -C doc build-css