fonts: implement roberto's typography for notedeck (William Casarin)

ui: remove extra padding on main panel (William Casarin)

pushed to notedeck:refs/heads/master

http://git.jb55.com/notedeck/commit/b0d0e451332b80a36e76d3f10b97239d31076e2b.html