Backport docs highlighting monkey patch for older Sphinx versions

Currently host that builds documentation uses Sphinx v1.0.7.