slight changes to documentation theme