Reload CSS without doing a hard-refresh of the browser

As discussed in issue #4