From 26eade4457d3232babdd8d71b3765c99a6ab98d6 Mon Sep 17 00:00:00 2001
From: Benoit Tigeot <benoit@hopsandfork.com>
Date: Fri, 12 Jun 2020 16:12:57 +0200
Subject: [PATCH 1/2] Make shell command easily selectable by making shell
 prompt unselectable

---
 guides/assets/stylesheets/main.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/guides/assets/stylesheets/main.css b/guides/assets/stylesheets/main.css
index bfaa78888f..db48e7367f 100644
--- a/guides/assets/stylesheets/main.css
+++ b/guides/assets/stylesheets/main.css
@@ -728,6 +728,15 @@ div.important p, div.caution p, div.warning p, div.note p, div.info p {
   margin-bottom: 1em;
 }
 
+/* Prevent shell prompt from being selectable when selecting commands*/
+code.language-shell-session span.token.command {
+  display: inline-flex;
+}
+span.token.sh.important {
+  margin-right: 0.5em;
+  user-select: none;
+}
+
 /* Edge Badge
 --------------------------------------- */
 

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 2/2] 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