RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 8556 d7a05d0dcb Update patch set 1 ... Change has been successfully merged by Ghanshyam Mann Patch-set: 1 Status: merged Label: SUBM=+1 Submission-id: 745030-1596754485350-c4c333d3		2020-08-06 22:54:45 +00:00