font fixes

avocadianmage · Sep 12, 2018 · 17b2aec · 17b2aec
1 parent 918c624
commit 17b2aec
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/styles/tabs.css b/src/styles/tabs.css
@@ -34,8 +34,8 @@
 .etabs-tab-title {
     cursor: default;
     user-select: none;
-    font-family: Consolas, monospace;
-    font-size: 10px;
+    font-family: Consolas, "Ubuntu Mono", monospace;
+    font-size: 11px;
 
     /* Text overflow handling. */
     overflow: hidden;
@@ -44,7 +44,7 @@
     display: inline-block;
     direction: rtl;
     unicode-bidi: plaintext;
-    vertical-align: text-bottom;
+    vertical-align: middle;
     text-align: left;
     width: 100%;
 }

diff --git a/src/ts/TerminalEngine.ts b/src/ts/TerminalEngine.ts
@@ -64,7 +64,7 @@ export class TerminalEngine {
 
     private createTerminal() {
         const terminal = new Terminal({
-            fontFamily: 'Consolas, monospace',
+            fontFamily: 'Consolas, "Ubuntu Mono", monospace',
             fontSize: 10,
             theme: { 
                 cursor: 'orange',