Closed AlisdairO closed 7 years ago
Fixed by commit 5e5da575343c368eb96f29771fe14996d0fd2b43 . I'd been thinking it was me being terrible at CSS, but in fact just a simple conversion to int where I should have been converting to a float :-)