In reply to a tweet by glazou:@glazou but of course 1 CSS mile would be hardcoded to be 6,082,560 pixels. Because that makes sense.