DevTools: roll CodeMirror

third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 93 matching lines @@
 
 .source-frame-value-update-highlight {
     -webkit-animation: source-frame-value-update-highlight-animation 0.8s 1 cubic-bezier(0, 0, 0.2, 1);
     border-radius: 2px;
 }
 
 .diff-entry-insert .diff-marker {
     border-left: 4px solid hsla(144, 55%, 37%, 1);
 }
 
-.diff-entry-insert .CodeMirror-gutter-wrapper {
+.diff-entry-insert .CodeMirror-gutter-background {
     background-color: hsla(144,55%,49%,.2);
 }
 
 .diff-entry-modify .diff-marker {
     border-left: 4px solid #9C27B0;
 }
 
-.diff-entry-modify .CodeMirror-gutter-wrapper {
+.diff-entry-modify .CodeMirror-gutter-background {
     background-color: rgba(186,104,200,0.2);
 }
 
 .diff-entry-delete .diff-marker {
     width: 0;
     height: 0;
     border-top: 6px solid transparent;
     border-bottom: 6px solid transparent;
     border-left: 6px solid #D32F2F;
     position: relative;
-    top: 7px;
+    top: 6px;
     cursor: pointer;
     left: 0px;
 }
 
-.diff-entry-delete .CodeMirror-gutter-wrapper {
+.diff-entry-delete .CodeMirror-gutter-background {
     border-bottom: 2px solid #D32F2F;
 }
 
 .CodeMirror-gutter-diff {
     width: 4px;
 }
 
 .highlight-line-modification {
     animation: source-line-modification-background-fadeout 0.4s 0s;
     animation-timing-function: cubic-bezier(0, 0, 0.2, 1);
@@ skipping 10 matching lines @@
     90% { background-color: rgba(158, 54, 153, 0); }
     to { background-color: transparent; }
 }
 
 @keyframes source-line-modification-foreground-fadeout {
     from { color: white; }
     50% { color: white; }
     90% { color: intial; }
     to { color: intial; }
 }