Sorry, the last patch was broken because I had it based off a WIP patch
updating to 1.2.0. This version works with the existing 1.0.0 version of
rtd-themes.