All of those customisations predate #7956, which fixed the loading of the CSS, so they were likely only intended for our previous Sphinx theme.