BODY { margin-left: 5%; margin-right: 5%;
       text-align: justify; background: #FFFFC0 none; color: black; }

.REF { margin-left: 3em }

.TOC { font-family: Helvetica; font-size: small;
       margin-top: 1em; margin-left: 10%; margin-right: 10%; }