Commit 98b87a8d1d02efe96201315a5fe3f4e2bb4c8cfc Parent 9c39162bce2d0ce5bd708a51869c582e6d90d572 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 3 Sep 2014 15:44:52 -0700 Fixed font size for h3 in dingus.