JAVASCRIPT

editorGutter.modifiedBackground striped color

(function(){var x = document.createElement('style');
x.innerText = ('.monaco-editor .dirty-diff-modified'+
'{background: none; border-left: 3px solid #71b9e3;}'+
'.monaco-editor .dirty-diff-modified:before'+
'{transform: none; background-image: none; background-color: #71b9e3;}');
document.head.appendChild(x);})();