Zoom should apply to both editor and REPL

[ntoll]

When you click the zoom buttons they only currently apply to the editor. This makes it hard to demonstrate using the REPL if projecting to a room where it's hard to see at the back. Zoom should apply consistently to both elements (editor and REPL) so they're always showing fonts of the same size.