From 3932d97756b2a6b789cda7558b2610c3a2be6441 Mon Sep 17 00:00:00 2001 From: Max Bernstein Date: Sat, 28 Oct 2023 19:04:19 -0400 Subject: [PATCH] Add TODO --- assets/css/gruvbox-dark.css | 1 + 1 file changed, 1 insertion(+) diff --git a/assets/css/gruvbox-dark.css b/assets/css/gruvbox-dark.css index 02793652..13ac8d8c 100644 --- a/assets/css/gruvbox-dark.css +++ b/assets/css/gruvbox-dark.css @@ -22,6 +22,7 @@ .highlight .gh { color: #b8bb26; font-weight: bold; } /* Generic.Heading */ .highlight .gi { color: #282828; background-color: #b8bb26 } /* Generic.Inserted */ .highlight .go { color: #ebdbb2; } /* Generic.Output */ +/* TODO(max): Consider making prompt, output noselect https://stackoverflow.com/questions/826782/how-to-disable-text-selection-highlighting */ .highlight .gp { color: #ebdbb2; } /* Generic.Prompt */ .highlight .gs { color: #ebdbb2; } /* Generic.Strong */ .highlight .gu { color: #b8bb26; font-weight: bold; } /* Generic.Subheading */