RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 21486 ff8ed85e95 Create change ... Uploaded patch set 1. Patch-set: 1 Change-id: Ifeea1e1c5b96c129bb07a3c4a3d87a7fac32f4dd Subject: Title underline too short Branch: refs/heads/master Commit: 1dbb72d330 Groups: 1dbb72d330		2018-11-07 08:55:09 +00:00