Re: [Python-Dev] Playing with a new theme for the docs