Change sphinx theme to krtheme