/* richdocs: no symbol label/color overrides configured */