Pull request.

Web docs theme update.