Tried two of the eye-popping tools for Chrome, but could not get them to do what I wanted... I'm sure it is on my part...
But opening the developer tool (with right-click inspect) and entering (copy-paste) the following code string in the console did the job:
(function(st){ var rs = document.styleSheets[0].cssRules, i = rs.length; while (i > 0) { i--; if (rs[i].selectorText == st) return rs[i]; } })("pre .com, code .com").style.color="#C797E7";
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Tried two of the eye-popping tools for Chrome, but could not get them to do what I wanted... I'm sure it is on my part...
But opening the developer tool (with right-click inspect) and entering (copy-paste) the following code string in the console did the job: