diff dottes.html.tune @ 530:b163d8d3f4a7 build-default-223

Remove font-size directives. The font sizing is not consistent in Chrome - i.e. reload the page and the size can shrink - so go back to default sizes for now.
author Jim Hague <jim.hague@acm.org>
date Sat, 12 Dec 2015 22:33:41 +0000
parents e16c20e63d9c
children afc031477784
line wrap: on
line diff