Re: editing font / size

[Shayne Hodge]

>> you have an option to make browser font size bigger manually, or to
customize .css or .js to setup Ace editor by either '#editor' id or

editor.setOptions({
  fontFamily: "tahoma",
  fontSize: "10pt"
});

Right now you can not change it through the web app UI though.

--
Alex<<

Where do you do this? In a dev tools consoles, there's no editor object
found.  Do I just create an editor {} block in
.../zeppelin/lib/webapps/webapp/assets/styles/looknfeel ?

Thanks,

Shayne