From c01490985794c3ddaad4b9fa2b951a0b8599bdea Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 3 Dec 2018 13:18:36 +0100
Subject: [sphinx] Same rendering for :n:`@token` and :token:`token`.

Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
---
 doc/sphinx/_static/notations.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
 }
 
 /***********************/
-- 
cgit v1.2.3