RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit Code Review 55f5e3b32d Update patch set 1 ... Change has been successfully merged into the git repository by Jenkins Patch-set: 1 Status: merged		2017-05-21 13:54:26 +00:00