Solved in v.20241129001. Very odd. The button size is controlled by a “size” attribute which I did have in the source code, but it was being ignored for reasons I don’t fully understand.
