/* richdocs: no theme overrides configured */