diff options
| author | Théo Zimmermann | 2019-12-29 20:42:55 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-12-29 20:42:55 +0100 |
| commit | fa94c16ca2db1d00ce05296e545ce64129b90986 (patch) | |
| tree | ca977b6ed8614a4b1717501aab27a2d394a09c06 /doc/sphinx/_static | |
| parent | 0d359bfe1219c221aac4d29a5b443c698009ada4 (diff) | |
| parent | ae38bff8d499f4d2f82373b9c6dda1a27263d80c (diff) | |
Merge PR #11314: Convert productionlists in the Gallina chapter up to the Vernacular section to prodns
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/sphinx/_static')
| -rw-r--r-- | doc/sphinx/_static/coqnotations.sty | 2 | ||||
| -rw-r--r-- | doc/sphinx/_static/notations.css | 1 |
2 files changed, 2 insertions, 1 deletions
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 { |