How to update a css file when using the Browser widget

[hh]

To disable caching of an input css file (or js script file) this
works with every browser:

Either change the file name of the input file
or add a counter value (or timestamp) to the filename,
for example
<link rel="stylesheet" type="text/css" href="/mystyle.css?01234567">