Remove the score padding; it made sense when a terminal was our primary output, but...
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 17:26:29 +0000 (18:26 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 17:26:29 +0000 (18:26 +0100)
commitfbc73d17f36578f7eb877322ea63a6b488868c69
tree7a98c779b67fe01de4ea33e8d643a0287c504a3b
parentd34683e228fef0efe646611ae42032bea22c583a
Remove the score padding; it made sense when a terminal was our primary output, but not for HTML.
www/js/remoteglot.js