In response to a query from a reader, I have changed the default mobile theme for non-Apple devices from the “green” version to the “blue” version to improve legibility.  Please let me know what you think of this.