/* times.css                                              Frank Lübeck */
/* Change default CSS to use Times font.    */

body { 
  font-family: Times,Times New Roman,serif;
}