Layout Redefinition Source Code

The <h3> tag is redefined in several ways depending on the option selected, so we have

Normal

Redefine <h3> as a paragraph gap and bold text

    <defenv h3><p><b><defbody></b></p></defenv>

Numbered

Redefine <h3> as a paragraph gap and bold red text, together with a counter

    <defenv h3><p><b><font color="red"><? (gl.n=default(gl.n,1))>. <defbody></font></b></p><
     let gl.n=gl.n+1;></defenv>

Big

Redefine <h3> as it is normally in HTML

    <defenv h3><\h3><defbody><\/h3></defenv>

Box

Redefine <h3> as a box with bold text inside. The box is defined as a table with a border and just one field.

    <defenv h3><p><box><b><defbody></b></box></p></defenv>