User:Derobert/vector.css

html, body { /* font-family: Bitstream Vera Sans; font-size: 8pt; */

font-size: 10pt; };