CSS tweaks

I think @daiyi was cool with not using the flexport format. If so, I can change the CSS to respond to media queries which will hopefully be more mobile-friendly.

There are some other changes like fixing the padding around the playable space and some other spacing stuff that could be worked out.