cross links plugin: slightly darker red for link highlights - makes it easier to see when combined with red-heavy portal highlighters