Add default button font-size

Also improve explanation for separation of CSS and
HTML.