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 +-
 doc/sphinx/_static/notations.css    | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/sphinx/_static')

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}}
diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index d654479b07..3806ba6ee6 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -10,6 +10,7 @@
 .notation {
     /* font-family: "Ubuntu Mono", "Consolas", monospace; */
     white-space: pre-wrap;
+    font-weight: bold;
 }
 
 .notation .notation-sup {
-- 
cgit v1.2.3