In the web version of solvespace, hitting Ctrl-minus will make the font smaller, but hitting Ctrl-plus (well, Ctrl-equals, the standard convention to avoid making people hit shift) doesn't make the font larger.
Please pass through Ctrl-equals to the browser as well, so that it's easy to make the text larger or smaller in order to be readable.
(Ctrl-scrolling will zoom in and out, if the mouse is placed over the right sidebar or the menu bar rather than the content area.)
In the web version of solvespace, hitting Ctrl-minus will make the font smaller, but hitting Ctrl-plus (well, Ctrl-equals, the standard convention to avoid making people hit shift) doesn't make the font larger.
Please pass through Ctrl-equals to the browser as well, so that it's easy to make the text larger or smaller in order to be readable.
(Ctrl-scrolling will zoom in and out, if the mouse is placed over the right sidebar or the menu bar rather than the content area.)