Add line numbers

2025-02-25 18:55:22 -06:00 · 2021-04-15 22:01:20 +02:00 · 2021-04-15 22:01:20 +02:00 · 0ce7c1f577
commit 0ce7c1f577
parent 31718d78b4
1 changed files with 2 additions and 0 deletions
--- 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 */