diff options
Diffstat (limited to 'doc/sphinx/_static/notations.css')
| -rw-r--r-- | doc/sphinx/_static/notations.css | 1 |
1 files changed, 1 insertions, 0 deletions
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 { |