3.17 Theorems

<..configure html4 latex..>+
 \Configure{newtheorem}
    {\ifvmode\IgnorePar\fi\EndP
      \HCode{<div class="newtheorem">}\par\noindent\HCode{<span
            class="head">}}
    {\HCode{</span>}}
    {\:xhtml{\EndP}\IgnorePar\HCode{</div>}\ShowPar\par}
 \Css{div.newtheorem { margin-bottom: 2em; margin-top: 2em;}}
-_-_-

<..acm proof..>
 \Configure{proof}
    {\ifvmode\IgnorePar\fi\EndP
      \HCode{<div class="proof">}\par\noindent\HCode{<span
            class="head">}}
    {\HCode{</span>}}
    {\:xhtml{\EndP}\IgnorePar\HCode{</div>}\ShowPar\par}
 \Css{div.proof { margin-bottom: 2em; margin-top: 2em;}}
-_-_-