| Index: third_party/WebKit/Source/devtools/front_end/changes/changesView.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/changes/changesView.css b/third_party/WebKit/Source/devtools/front_end/changes/changesView.css
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..29a66c669a107f8388c2eb7ba0377e668d9c346c
|
| --- /dev/null
|
| +++ b/third_party/WebKit/Source/devtools/front_end/changes/changesView.css
|
| @@ -0,0 +1,65 @@
|
| +/*
|
| + * Copyright (c) 2017 The Chromium Authors. All rights reserved.
|
| + * Use of this source code is governed by a BSD-style license that can be
|
| + * found in the LICENSE file.
|
| + */
|
| +.insertion-point-main{
|
| + flex-direction: column;
|
| + display: flex;
|
| +}
|
| +
|
| +.insertion-point-sidebar {
|
| + overflow: auto;
|
| +}
|
| +.editor-container{
|
| + flex: 1;
|
| +}
|
| +
|
| +:focus.selected {
|
| + background-color: rgb(56, 121, 217);
|
| + color: #FFF;
|
| +}
|
| +
|
| +.CodeMirror-lines:not(:active) {
|
| + cursor: default !important;
|
| +}
|
| +
|
| +.CodeMirror-line:hover {
|
| + cursor: default !important;
|
| + background-color: rgba(0,0,255,0.05);
|
| +}
|
| +
|
| +.CodeMirror .CodeMirror-linebackground.spacer {
|
| + text-align: center;
|
| + color: rgba(0, 0, 0, 0.5);
|
| + background-color: rgba(0, 0, 255, 0.1);
|
| +}
|
| +
|
| +.CodeMirror .equal > span > span {
|
| + opacity: .5;
|
| +}
|
| +
|
| +.CodeMirror .CodeMirror-selectedtext:not(.CodeMirror-persist-highlight) {
|
| + opacity: 1.0;
|
| +}
|
| +
|
| +.CodeMirror .CodeMirror-linebackground.addition, -theme-preserve {
|
| + background-color: hsla(144, 55%, 49%, .2);
|
| +}
|
| +
|
| +.CodeMirror .CodeMirror-linebackground.deletion, -theme-preserve {
|
| + background-color: rgba(255, 0, 0, .2);
|
| +}
|
| +
|
| +.CodeMirror .addition .cm-inner-diff:not(.CodeMirror-selectedtext), -theme-preserve {
|
| + background-color: hsla(144, 55%, 49%, .3);
|
| +}
|
| +
|
| +.CodeMirror .deletion .cm-inner-diff:not(.CodeMirror-selectedtext), -theme-preserve {
|
| + background-color: rgba(255, 0, 0, .3);
|
| +}
|
| +
|
| +.changes-toolbar {
|
| + background-color: #f3f3f3;
|
| + border-top: 1px solid #dadada;
|
| +}
|
|
|