From b73f42eb38c3d0bb1c64d0c329e9843e889eb326 Mon Sep 17 00:00:00 2001
From: Justin Stephenson <jstephen@redhat.com>
Date: Tue, 18 Apr 2023 13:02:14 -0400
Subject: [PATCH] Fix stylelint errors

---
 src/player.css | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/player.css b/src/player.css
index 975812d..d2581d4 100644
--- a/src/player.css
+++ b/src/player.css
@@ -1,4 +1,4 @@
-@import "~xterm/lib/xterm.css";
+@import "xterm/css/xterm.css";
 
 .player-wrap {
     min-width: 672px;
@@ -12,10 +12,6 @@
 
 .dragnpan {
     -webkit-touch-callout: none;
-    -webkit-user-select: none;
-    -khtml-user-select: none;
-    -moz-user-select: none;
-    -ms-user-select: none;
     user-select: none;
 }