How to update a css file when using the Browser widget

hh hh at
Sun Nov 4 11:50:38 EST 2018

> 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 " = '110%';" in widget "Browser"

I use this technique (essentially) in hhTextEditBasic, see

More information about the use-livecode mailing list