More doc changes for nicer rtd.org sidebar