body {background-color: #fffffc;
      margin-left: 2em;
      font-size: medium;
      line-height:140%; }
div.page { page-break-after: always; } 
pre {	font-size: small; }
.fm { background-color: #fff5e1; }
rt { font-size: x-small; }