Skip to content
Snippets Groups Projects
Commit b7ac43bc authored by David Bühler's avatar David Bühler
Browse files

[Ivette] Tweaks colors used for non-terminating and dead code gutters.

parent 59aa477e
No related branches found
No related tags found
No related merge requests found
...@@ -10,7 +10,7 @@ ...@@ -10,7 +10,7 @@
--code-hover: #005137; --code-hover: #005137;
--code-select: #4f3d24; --code-select: #4f3d24;
--code-select-hover: #5f4d34; --code-select-hover: #5f4d34;
--dead-code: #444; --dead-code: #777;
--non-terminating: #d84954; --non-terminating: #d84954;
--highlighted-marker: #778822; --highlighted-marker: #778822;
--code-bullet: #0a2234; --code-bullet: #0a2234;
......
...@@ -10,8 +10,8 @@ ...@@ -10,8 +10,8 @@
--code-hover: lightgreen; --code-hover: lightgreen;
--code-select: #ffda95; --code-select: #ffda95;
--code-select-hover: orange; --code-select-hover: orange;
--dead-code: #bbb; --dead-code: #999;
--non-terminating: #770088; --non-terminating: #fb4e4a;
--highlighted-marker: #ffff66; --highlighted-marker: #ffff66;
--code-bullet: #ddd; --code-bullet: #ddd;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment