From 47cfd03dfff998df6c39184b6f122a8c089eaf78 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 3 Apr 1998 21:22:31 +0000
Subject: Increase space between the end of a regexp and the little right floor
 symbol used as a closing quote.  At AMK's request.

---
 Doc/texinputs/python.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty
index 009caaf..bee22d5 100644
--- a/Doc/texinputs/python.sty
+++ b/Doc/texinputs/python.sty
@@ -563,7 +563,7 @@
 \newcommand{\regexp}[1]{%
   {\tiny$^{^\lceil}\!\!$%
    {\normalsize\code{#1}}%
-   $\!\!\rfloor\!$%
+   $\!\rfloor\!$%
   }}
 \newcommand{\envvar}[1]{%
   \$#1%                                 $ <-- bow to font-lock 3 times!
-- 
cgit v0.12