[PULL] Docs fixes

[Jonathan Corbet]

The following changes since commit
29b4817d4018df78086157ea3a55c1d9424a7cfc:

  Linux 4.8-rc1 (2016-08-07 18:18:00 -0700)

are available in the git repository at:

  git://git.lwn.net/linux.git tags/4.8-doc-fixes

for you to fetch changes up to d1669c8288a2c86daa6fd59c7fb938c08589d053:

  doc-rst: customize RTD theme, drop padding of inline literal (2016-08-14 12:15:09 -0600)

----------------------------------------------------------------
Three small fixes for Sphinx-formatted documentation generation.

----------------------------------------------------------------
Jonathan Corbet (2):
      docs: Set the Sphinx default highlight language to "guess"
      docs: kernel-documentation: remove some highlight directives

Markus Heiser (1):
      doc-rst: customize RTD theme, drop padding of inline literal

 Documentation/conf.py                           | 2 +-
 Documentation/kernel-documentation.rst          | 6 ------
 Documentation/sphinx-static/theme_overrides.css | 3 ++-
 3 files changed, 3 insertions(+), 8 deletions(-)