Update dark theme highligh

This commit is contained in:
Samuele Facenda 2023-03-15 08:38:56 +01:00 committed by GitHub
parent 2efd075803
commit 764bd4b9ae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -108,9 +108,9 @@
/* Highlighter colours */ /* Highlighter colours */
--hl1: #264f78; --hl1: #264f78;
--hl2: #675351; --hl2: #675351;
--hl3: #ffb6b6; --hl3: #c40000;
--hl4: #fcf8e3; --hl4: #fcf8e3;
--hl5: #8de768; --hl5: #2e7312;
/* Scrollbar */ /* Scrollbar */