igor
/
copy-paste-bookmarks
mirror of https://codeberg.org/ignami/copy-paste-bookmarks
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2266 from f00ale/custom_code_font 

Make code font customizable for themes.
edit
Hakim El Hattab 2018-11-21 08:33:56 +01:00 committed by GitHub
parent 82076c5a0b 8e5bdcc2bb
commit 87d6af2cb4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
css/theme/template/settings.scss
View File

@ -28,6 +28,8 @@ $heading2Size: 2.11em;
$heading3Size: 1.55em;
$heading4Size: 1.00em;
$codeFont: monospace;
// Links and actions
$linkColor: #13DAEC;
$linkColorHover: lighten( $linkColor, 20% );
@ -40,4 +42,4 @@ $selectionColor: #fff;
// to return a background image or gradient
@mixin bodyBackground() {
background: $backgroundColor;
}
}

4
css/theme/template/theme.scss
View File

@ -162,7 +162,7 @@ body {
text-align: left;
font-size: 0.55em;
font-family: monospace;
font-family: $codeFont;
line-height: 1.2em;
word-wrap: break-word;
@ -171,7 +171,7 @@ body {
}
.reveal code {
font-family: monospace;
font-family: $codeFont;
text-transform: none;
}