From 1b760dcd66532c6f6ce1c048a9babffa4ba7f6b0 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Mon, 5 Mar 2018 19:08:46 +0100
Subject: [PATCH] fixes #5293

---
 config/nimdoc.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index 231aa54742..5fc9fdec5b 100644
--- a/config/nimdoc.cfg
+++ b/config/nimdoc.cfg
@@ -1315,7 +1315,7 @@ dt pre > span.Identifier ~ span.Identifier, dt pre > span.Operator ~ span.Identi
   color: inherit;
   font-weight: inherit; }
 
-dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator {
+dt pre > span.Operator ~ span.Identifier {
   color: inherit;
   font-weight: inherit; }