don't load css twice on rtd, comment coloring in pygments