actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #710 from Eyenseo/master 

Fix different font sizes in editor and code
This commit is contained in:
Matt Ickstadt 2018-07-24 13:34:34 -05:00 committed by GitHub
parent 7c8dd5085b b452d5e0c7
commit b88abb171c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/theme/playpen_editor/editor.js
View File

@ -12,7 +12,8 @@ window.editors = [];
showPrintMargin: false,
showLineNumbers: false,
showGutter: false,
maxLines: Infinity
maxLines: Infinity,
fontSize: "0.875em" // please adjust the font size of the code in general.styl
});
editor.$blockScrolling = Infinity;

2
src/theme/stylus/general.styl
View File

@ -11,7 +11,7 @@ body {
code {
font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
font-size: 0.875em;
font-size: 0.875em; // please adjust the ace font size accordingly in editor.js
}
.left {