[#1358] Revert docs theme to the version on master