From 0ce7c1f57732dda24708fbd3f8f5c67f653f3850 Mon Sep 17 00:00:00 2001
From: Arthur Volant <arthurvolant@gmail.com>
Date: Thu, 15 Apr 2021 22:01:20 +0200
Subject: [PATCH] Add line numbers

---
 sphinx/themes/basic/static/basic.css_t | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t
index b80868d7a..5c1db3b84 100644
--- a/sphinx/themes/basic/static/basic.css_t
+++ b/sphinx/themes/basic/static/basic.css_t
@@ -818,6 +818,8 @@ div.code-block-caption code {
 }
 
 /* From https://stackoverflow.com/a/34372191 */
+table.highlighttable td.linenos,
+span.linenos,
 span.gp {  /* gp: Generic.Prompt */ 
   user-select: none;
   -webkit-user-select: text; /* Safari fallback only */