BODY { background-color: #eeeeff;
       color: black;
       font-size: 12pt; }