body {
   font-size: 12px;
   font-family: "Arial", Arial, sans;
   color: #400040;
}
a:link {
    font-size: 12px;
}
table {
    font-size: 12px;
    border: 1px solid grey;
    border-collapse: collapse;
    background: #f0f0f0;
}
pre {
    font-size: 12px;
}
.version {
  font-variant: small-caps; 
  font-size: 9px; 
  color: grey;
} 
.note {
  font-size: 11px; 
}