diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/_ext/literals_to_xrefs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/_ext/literals_to_xrefs.py b/docs/_ext/literals_to_xrefs.py index 268d084d42..41ae811292 100644 --- a/docs/_ext/literals_to_xrefs.py +++ b/docs/_ext/literals_to_xrefs.py @@ -68,8 +68,8 @@ def fixliterals(fname): new.append(m.group(0)) continue - sys.stdout.write("\n"+"-"*80+"\n") - sys.stdout.write(data[prev_start+1:m.start()]) + sys.stdout.write("\n" + "-" * 80 + "\n") + sys.stdout.write(data[prev_start + 1:m.start()]) sys.stdout.write(colorize(m.group(0), fg="red")) sys.stdout.write(data[m.end():next_end]) sys.stdout.write("\n\n") |