From 4399ba98e840ffbbaaf9d550059a7866374b5d58 Mon Sep 17 00:00:00 2001
From: Benoit Tigeot <benoittgt@users.noreply.github.com>
Date: Sat, 13 Jun 2020 09:47:03 +0200
Subject: [PATCH] user-select css property is not needed

Shell prompt is already unselectable

Co-authored-by: Jonathan Hefner <jonathan@hefner.pro>
---
 guides/assets/stylesheets/main.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/guides/assets/stylesheets/main.css b/guides/assets/stylesheets/main.css
index db48e7367f..7ce875e66e 100644
--- a/guides/assets/stylesheets/main.css
+++ b/guides/assets/stylesheets/main.css
@@ -734,7 +734,6 @@ code.language-shell-session span.token.command {
 }
 span.token.sh.important {
   margin-right: 0.5em;
-  user-select: none;
 }
 
 /* Edge Badge
-- 
GitLab