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; |
+} |