| commit | 47cfd03dfff998df6c39184b6f122a8c089eaf78 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri Apr 03 21:22:31 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri Apr 03 21:22:31 1998 +0000 |
| tree | dea73ba534845b322b85329b706b167c7b629b32 | |
| parent | 042ff9eb3afb3e0853bf650f5ab3742f592aa0aa [diff] |
Increase space between the end of a regexp and the little right floor symbol used as a closing quote. At AMK's request.
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!