Adjustments for mobile

I would love to run Datalog on my phone. This requires some small tweaks to the current UI: 

- [ ] Make all elements visible without hovering for mobile devices (or for all devices?). This includes the gutter and buttons. 
- [ ] Add a "run code" button. Shift + enter doesn't work on mobile; even if it did, a "run" button would be more convenient. 