Browse Source

make prompts in docs bolder

adam j hartz 2 years ago
parent
commit
b8bb92e0e8
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      make_site.py

+ 1
- 1
make_site.py View File

@@ -88,7 +88,7 @@ def make_menu(active):
88 88
 
89 89
 
90 90
 def colorize_one(match, color='#6d00ba'):
91
-    return '<span style="color:%s;">%s</span>' % (color, match.group(0))
91
+    return '<span style="font-weight:bold;color:%s;">%s</span>' % (color, match.group(0))
92 92
 
93 93
 def colorize_prompts(text):
94 94
     text = re.sub('\n>>>', colorize_one, text)

Loading…
Cancel
Save