caojiezi2003/Stackedit
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add rich monospaced font option

Browse Source
This commit is contained in:
Dimitriye Danilovic 2015-10-11 01:46:38 -07:00
parent a5ed5bf644
commit c6a9261b1d
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
public/res/html/bodyEditor.html
View File

@ -1129,6 +1129,12 @@
Rich
</label>
</div>
<div class="radio">
<label> <input type="radio"
name="radio-settings-editor-font-class" value="font-rich-monospaced">
Rich Monospaced
</label>
</div>
<div class="radio">
<label> <input type="radio"
name="radio-settings-editor-font-class" value="font-monospaced">

4
public/res/styles/main.less
View File

@ -1190,6 +1190,10 @@ a {
color: fade(@tertiary-color, 25%);
}
&.font-rich-monospaced * {
font-family: @font-family-monospace !important;
}
&.font-monospaced * {
font-family: @font-family-monospace !important;
line-height: @editor-line-weight !important;