| Index: third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css b/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..51b23c64012ae92ff23c033fcf3e4cddac939ab1
|
| --- /dev/null
|
| +++ b/third_party/WebKit/Source/devtools/front_end/terminal/terminal.css
|
| @@ -0,0 +1,30 @@
|
| +/*
|
| + * Copyright 2016 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.
|
| + */
|
| +
|
| +.terminal {
|
| + background-color: #111;
|
| + color: #fafafa;
|
| + padding: 2px;
|
| + -webkit-user-select: text;
|
| + white-space: nowrap;
|
| +}
|
| +
|
| +.terminal:focus .terminal-cursor {
|
| + background-color: #fafafa;
|
| +}
|
| +
|
| +.disabled .terminal {
|
| + opacity: 0.5
|
| +}
|
| +
|
| +a {
|
| + color: inherit;
|
| + text-decoration: inherit;
|
| +}
|
| +
|
| +a:hover {
|
| + text-decoration: underline;
|
| +}
|
|
|