body { background-color: rgb(240, 240, 240); font-family: serif; }
a, a:active, a:hover, a:visited { color: rgb(0, 50, 150); }
.document { border: none; }
fieldset { border: 1px solid rgb(190, 190, 150); }
#banner { background-color: rgb(240, 240, 240); }