Minor fixes on documentation and doc theme.