/* times.css Frank Lübeck */
/* Change default CSS to use Times font. */
body {
font-family: Times,Times New Roman,serif;
}