From bdb5150669d5ac972d3d2b3c9cc2045e77dc9ad5 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 24 Dec 2019 22:30:31 -0800
Subject: Show doc notations in boldface

---
 doc/sphinx/_static/coqnotations.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/_static/coqnotations.sty')

diff --git a/doc/sphinx/_static/coqnotations.sty b/doc/sphinx/_static/coqnotations.sty
index 8612e51aa5..3dfe4db439 100644
--- a/doc/sphinx/_static/coqnotations.sty
+++ b/doc/sphinx/_static/coqnotations.sty
@@ -67,7 +67,7 @@
 
 \newcssclass{notation-sup}{\nsup{#1}}
 \newcssclass{notation-sub}{\nsub{#1}}
-\newcssclass{notation}{\nnotation{#1}}
+\newcssclass{notation}{\nnotation{\textbf{#1}}}
 \newcssclass{repeat}{\nrepeat{#1}}
 \newcssclass{repeat-wrapper}{\nwrapper{#1}}
 \newcssclass{repeat-wrapper-with-sub}{\nwrapper{#1}}
-- 
cgit v1.2.3

