<!--
 div.mime1 {float: left; margin-left: 2em; font-weight: bold;}
 div.mime2 {margin-left: 12em;}
-->