.times_10 {
  font-family: Times, serif;
  font-size: 0.9em;
}
.times_12{
  font-family: Times, serif;
    font-size: 1.2em;
}

.arial_10{
  font-family: Arial, sans-serif;
  font-size: 0.9em;
}
.arial_12{
  font-family: Arial, sans-serif;
  font-size: 1.2em;
}

.courier_10{
   font-family: Courier, monospace;
   font-size: 0.9em;
}
.courier_12{
  font-family: Courier, monospace;
  font-size: 1.2em;
}