RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 8770 890540d7f2 Update patch set 2 ... Patch Set 2: Code-Review+2 Workflow+1 Patch-set: 2 Reviewer: Gerrit User 8770 <8770@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: Code-Review=+2 Label: Workflow=+1		2019-04-22 13:08:23 +00:00