My suggestion would be to replace #E50000 which is too bright and fails contrast checker to #CC0000. I see that this theme uses default colors except it modifies workbench, but still I would love to see this modification since it improves readability. WDYT?