From 3b5a42854266cd37f0c387e799217a1cac2a5c49 Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Tue, 20 Sep 2022 14:41:56 -0700
Subject: [PATCH] mono-font for remotes

---
 src/sh2.less | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/sh2.less b/src/sh2.less
index a5846a03..387a7d9a 100644
--- a/src/sh2.less
+++ b/src/sh2.less
@@ -27,8 +27,11 @@
 
 @tab-black-text: #333;
 @tab-white-text: #d7d7d7;
-                       
 
+.mono-font(@size: inherit) {
+    font-family: 'JetBrains Mono', monospace;
+    font-size: @size;
+}
 
 html, body, #main {
     background-color: #000;
@@ -241,6 +244,7 @@ html, body, #main {
 
     .menu-list li.remote-menu-item {
         a {
+            .mono-font(11px);
             white-space: nowrap;
             overflow: hidden;
             text-overflow: ellipsis;
@@ -685,6 +689,7 @@ body .xterm .xterm-viewport {
         }
 
         .cmd-quick-context .button {
+            .mono-font();
             background-color: #000 !important;
             color: white;
         }