RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 22348 700eeafd31 Update patch set 1 ... Change has been successfully merged by Zuul Patch-set: 1 Status: merged Label: Verified=+2 Label: SUBM=+1 Submission-id: 520781-1510872559313-83d6be08		2017-11-16 22:49:19 +00:00