yea, the highlighter extraction plugin uses that syntax. but i’m using the Highlightr
plugin (gives access to more colors).
yea, the highlighter extraction plugin uses that syntax. but i’m using the Highlightr
plugin (gives access to more colors).