This commit is contained in:
Andreas Rumpf 2018-03-05 19:08:46 +01:00
commit 1b760dcd66

View file

@ -1315,7 +1315,7 @@ dt pre > span.Identifier ~ span.Identifier, dt pre > span.Operator ~ span.Identi
color: inherit; color: inherit;
font-weight: inherit; } font-weight: inherit; }
dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator { dt pre > span.Operator ~ span.Identifier {
color: inherit; color: inherit;
font-weight: inherit; } font-weight: inherit; }