Why a page refresh when loading new styles?
It’s tempting to think it could be handled with a Javascript style switcher instead of the current server-side method. There are two important reasons why it’s better not to: 1) you can bookmark each style this way. 2) the javascript method only adds to the existing style, instead of replacing it. A flush would be necessary to clear each one, and the simplest way to achieve this just happens to be a page refresh.
