button-source-html.mustache revision 1cdc9668bdd7d912d1be5b9f576c1fc35fdb20c2
<p>
You can use <button id="myPushButton">this push button</button>
to toggle the state of <button id="myToggleButton">this unselected button</button>
</p>