The output font is different from the codes above. Is there some method can do this? Thanks.
I had the same problem too. For the time being, I just decided to override the CSS.
1) Go to Settings
2) Click on "Open Config Folder"
3) Open "styles.less"
4) Add:
div.panel-body.padded pre {
font-family: Inconsolata, sans-serif; // set to whatever font you want
font-size: 16px; // set to whatever font size you want
}
Hope this helps.
Same. I opened the "styles.less" and edited the css for .style-view{}
.script-view {
.panel-body pre {
font-size: 15px;
font-family: @font-family;
background: @tool-panel-background-color;
color: @text-color;
}
Most helpful comment
I had the same problem too. For the time being, I just decided to override the CSS.
1) Go to Settings
2) Click on "Open Config Folder"
3) Open "styles.less"
4) Add:
Hope this helps.