How to update a css file when using the Browser widget

[hh]

> James H. wrote:
> Context: I want to be able to change the font-size displayed
> in the browser. The pages being displayed all use the same
> external css. I thought that by changing the font-size
> definition with the css and saving it back to disk, a reload
> of the page would use the new setting. This works with
> desktop browsers.

Say you have the font-size declaration in the css for body.

Then script, for example:
do "document.body.style.fontSize = '110%';" in widget "Browser"

I use this technique (essentially) in hhTextEditBasic, see
http://livecodeshare.runrev.com/stack/860