Editor Text Size Adjustment

## User Story

As an end user, I want the option \(via hotkey or some other mechanism\) to adjust the size of the text in my text editor without changing all the text in my browser so that I can see more of my script at the same time if I want to do so\.

## Acceptance Criteria

- A hotkey or some other mechanism will be used \(like zoom in\/out\) to change the size of the editor text\.

- Users last changed size or a default size will be chosen for any subsequent queries \(Julia to decide\)

## Notes

- Requested by Adam