RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 6928 56bf7e8481 Update patch set 1 ... Patch Set 1: Code-Review+2 Patch-set: 1 Reviewer: Gerrit User 6928 <6928@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: Code-Review=+2		2019-03-29 13:53:56 +00:00