You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You can lower the priority of this request. I cloned the project and modified the CSS to get the font size that I need. It's not variable, but at least the fixed size is better for my site.
It would be great if there was a simple font size option, or some way to inherit from a parent.
Ideally, I'd like to see this:
where ".resize" has
font-size: 80%;
set in my main css file (as default, plus several user-selectable font sizes).But I'm open to other approaches.
Right now, I can't find any way to change the font size in the editor. I tried this in CSS but it didn't work:
However, this does work when I manually add the attribute
font-size: 80%;
in<div class="CodeMirror cm-s-p5-widget">
in Developer mode in the browser.(I can't set
font-size
for the generic.CodeMirror
because I have other uses for it.)The text was updated successfully, but these errors were encountered: