design/style.css: increase font size.