From: Fred Drake Date: Fri, 3 Apr 1998 21:22:31 +0000 (+0000) Subject: Increase space between the end of a regexp and the little right floor symbol X-Git-Tag: v1.5.1~204 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=47cfd03dfff998df6c39184b6f122a8c089eaf78;p=python 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 009caaf1cc..bee22d5bfd 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!