From c94af9196536deb3b04be77fb06928989771b1ea Mon Sep 17 00:00:00 2001
From: Jesse Tan <jessetan@users.noreply.github.com>
Date: Sun, 25 Mar 2018 14:08:02 +0200
Subject: [PATCH] Do not allow selection of line numbers in code blocks (#594)

---
 sass/_theme_rst.sass | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sass/_theme_rst.sass b/sass/_theme_rst.sass
index 689e7f9d..814281c0 100644
--- a/sass/_theme_rst.sass
+++ b/sass/_theme_rst.sass
@@ -70,6 +70,8 @@
     margin: 0
     padding: $base-line-height / 2 $base-line-height / 2
     font-family: $code-font-family
+    user-select: none
+    pointer-events: none
   div[class^='highlight'] pre
     white-space: pre
     margin: 0