using customized version of sphinx theme