From 0f0ffbb9827f55807ddbd6bdd9c3096bb539fc55 Mon Sep 17 00:00:00 2001
From: EricFromCanada <eric@lassosoft.com>
Date: Tue, 6 Jan 2015 10:51:54 -0500
Subject: [PATCH] revised pygments_style description

---
 doc/config.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/config.rst b/doc/config.rst
index 98db4569b..e733fa62b 100644
--- a/doc/config.rst
+++ b/doc/config.rst
@@ -314,8 +314,8 @@ Project information
 
 .. confval:: pygments_style
 
-   The style name to use for Pygments highlighting of source code.  The given
-   style is selected by the theme for HTML output, and ``'sphinx'`` otherwise.
+   The style name to use for Pygments highlighting of source code.  If not set,
+   either the theme's default style or ``'sphinx'`` is selected for HTML output.
 
    .. versionchanged:: 0.3
       If the value is a fully-qualified name of a custom Pygments style class,