Just use default sphinx theme for docs