body { background-color: #F8F4E7; color: #552800;
       margin-left: 10%; margin-right: 10%; margin-top: 5%;
       font-family: Arial, Tahoma, Verdana, sans-serif;
       line-height: 150%;
     }
pre, code { font-family: monospace;;; }
h1 { color: #228222;
     padding-top: 1%;
     padding-bottom: 1%;
}

.centered { text-align: center; }
:link { color: #0000a0; }
:visited { color: #a000a0; }
:active { color: #00a000; }