Changed settings for docs to use subtree theme.