| <title>stretch minsize/maxsize (dynamic)</title> |
| <script type="text/javascript"> |
| var mo1 = document.getElementById("mo1"); |
| mo1.setAttribute("maxsize", "4em"); |
| var mo2 = document.getElementById("mo2"); |
| mo2.removeAttribute("maxsize"); |
| var mo3 = document.getElementById("mo3"); |
| mo3.setAttribute("minsize", "4em"); |
| var mo4 = document.getElementById("mo4"); |
| mo4.removeAttribute("minsize"); |
| <!-- We test dynamic changes of the minsize/maxsize attributes. They should render the same as the static reference. --> |
| <mo id="mo1">|</mo><mspace height="5em" depth="5em"/> |
| <mo id="mo2" maxsize="4em">|</mo><mspace height="5em" depth="5em"/> |
| <mo id="mo3">|</mo><mspace height="1em" depth="1em"/> |
| <mo id="mo4" minsize="4em">|</mo><mspace height="1em" depth="1em"/> |