That's not the right type of scaling for that kind of graphics because the scalled image is smoothed and the graphics don't look as sharp as they should be.
IMHO they should support some scaling (x2, x3, x4, etc), even with CSS is possible, but avoiding that "smoothing" effect.
Dev here, other than the mentioned Java => javascript thing, not really. The two of us made this as a fun little project in high school a couple of years ago. Neither of us had done anything like it before, so it was just an educational thing really. We had ideas that might have been novel, but college started and we got busy doing various other things.
We actually spent a while trying to figure out what caused that, but it was impossible for us to use our usual debugging technique of printing traces on since that breaks down when user input is involved. We stopped working on the project before we could squash that bug. It's the only remaining bug as far as we know.