diff Doc/texinputs/python.sty @ 7850:db1e49d51fe1 legacy-trunk

Increase space between the end of a regexp and the little right floor symbol used as a closing quote. At AMK's request.
author Fred Drake <fdrake@acm.org>
date Fri, 03 Apr 1998 21:22:31 +0000
parents 047996666c81
children 6a0299ebccef
line wrap: on
line diff
--- a/Doc/texinputs/python.sty	Fri Apr 03 21:13:31 1998 +0000
+++ b/Doc/texinputs/python.sty	Fri Apr 03 21:22:31 1998 +0000
@@ -563,7 +563,7 @@
 \newcommand{\regexp}[1]{%
   {\tiny$^{^\lceil}\!\!$%
    {\normalsize\code{#1}}%
-   $\!\!\rfloor\!$%
+   $\!\rfloor\!$%
   }}
 \newcommand{\envvar}[1]{%
   \$#1%                                 $ <-- bow to font-lock 3 times!