RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 6928 443c0edec1 Update patch set 1 ... Patch Set 1: Code-Review-1 (1 comment) I'd rather not do these one at a time. Let's use https for all of the links in this section. Patch-set: 1 Label: Code-Review=-1		2018-12-14 15:13:28 +00:00
3a65c8598794d240d93116ac6c2f9b815b51e6d6	Update patch set 1	2018-12-14 15:13:28 +00:00