body {
font-family: Arial,Helvetica,Sans-Serif;
}
div.body {
float: left;
width:728px;
padding-right: 1em;
border-right: 1px solid gray;
margin-right: 1em;
}
div.pre {
padding-top:1em;
}

div.button {
display:inline;
}
div.button a {
color:#3f3fff;
background-color:#9f9f9f;
text-decoration:none;
font-size:0.8em;
font-weight:bold;
padding:2px 4px 2px 4px;
}
div.copy {
text-align:right;
font-size: 9px;
}
div.textlinks { font-size:0.7em; }
p.indexlinks { text-align:right; font-size:0.7em; }