diff options
| author | Théo Zimmermann | 2018-12-03 13:18:36 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-12-03 13:59:38 +0100 |
| commit | c01490985794c3ddaad4b9fa2b951a0b8599bdea (patch) | |
| tree | aa41144b404abccb24513ed6fe05a3b379e55fdf /doc/sphinx/_static/notations.css | |
| parent | 5e58df994c31776563d8832c0eb65e51d24e7652 (diff) | |
[sphinx] Same rendering for :n:`@token` and :token:`token`.
Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
Diffstat (limited to 'doc/sphinx/_static/notations.css')
| -rw-r--r-- | doc/sphinx/_static/notations.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css index f899945a35..dcb47d1786 100644 --- a/doc/sphinx/_static/notations.css +++ b/doc/sphinx/_static/notations.css @@ -60,9 +60,10 @@ margin-right: 0.4em; /* Space for the right half of the sub- and sup-scripts */ } -.notation .hole { +.notation .hole, .std-token .pre { color: #4e9a06; font-style: italic; + font-weight: bold; } /***********************/ |