fix #1311: better monospace fonts

2019-10-17 18:53:09 +02:00 · 2019-10-17 18:53:09 +02:00 · 858a9bf93b
parent 7a22746f67
commit 858a9bf93b
2 changed files with 5 additions and 0 deletions
--- a/app/styles/base/_typography.scss
+++ b/app/styles/base/_typography.scss
@ -103,3 +103,7 @@ body:not(.edge) * {
        background-color: var(--text-selection-bg-color);
    }
 }
+
+code {
+    font-family: $monospace-font-family;
+}
--- a/release-notes.md
+++ b/release-notes.md
@ -8,6 +8,7 @@ Release notes
 `+` #862: downloading attachments on mobile  
 `+` #480: option to launch the app minimized  
 `-` fix #1273: untranslated menu items  
+`-` fix #1311: better monospace fonts  

 ##### v1.11.10 (2019-10-16)
 `-` fix #1305: WebDAV issues