Samwise wrote:This we could do without much trouble, but I think we'd need to hear that it's something the majority would prefer.
I've set it to run for a month. Let's see what the outcome is ...
While we're waiting, here's a bookmarklet to change the colour of code in the current page:
Just drag that code to your bookmarks bar, then edit the bookmark to name it appropriately. You can of course edit the colour too.
On a tablet, create a new bookmark (of any web page), then edit it, cut out the whole URL and substitute the above line. Also, rename it.