1/* times.css Frank Lübeck */ 2/* Change default CSS to use Times font. */ 3 4body { 5 font-family: Times,Times New Roman,serif; 6} 7