User:OK Oliver/vector.css

body {	font-family: "Computer-Modern", "Times", serif; }