Shim in fix for old RTD theme