Console output typography can be configured independently

Changing the code editor font size also changes console output and some unrelated Studio text. Code editor typography should affect code surfaces only, while console output should have its own configurable font family and size.