/* HTML styles */ 
body { font-size:medium; }