In header.php, I like to attribute a version number to the stylesheet so that the browser gets forced to refresh it. But