• The comments haven't really bothered me personally - and unfortunately because I don't host the forum I don't get to change the CSS myself, so I'd have to get the forum hosts to do it.

    If you don't like the colours, why don't you write a Chrome Extension? I believe it's trivial to make one that would change CSS colours for one specific form of URL, and then you could do whatever you wanted.

    You could even add a 'send to Espruino' button and links to Espruino's reference documentation :)

About

Avatar for Gordon @Gordon started