User:OK Oliver/vector.css

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