[doc][s]: fix for fact that theme did not seem updated even though part of merge in 673b466c27f199dcd26682a04d87d528215b9dd0.