body {
  font-size: 75%;
  font-family:  verdana, arial, times, courier;
}