Use the bridgepdx theme in CI, as the default is borked