OLD | NEW |
1 /* Copyright (c) 2011 The Chromium Authors. All rights reserved. | 1 /* Copyright (c) 2011 The Chromium Authors. All rights reserved. |
2 * Use of this source code is governed by a BSD-style license that can be | 2 * Use of this source code is governed by a BSD-style license that can be |
3 * found in the LICENSE file. | 3 * found in the LICENSE file. |
4 */ | 4 */ |
5 | 5 |
6 body { | 6 body { |
7 font-family: Helvetica, sans-serif; | 7 font-family: Helvetica, sans-serif; |
8 cursor: default; | 8 cursor: default; |
9 font-size: 13px; | 9 font-size: 13px; |
10 } | 10 } |
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
54 -webkit-user-select: text; | 54 -webkit-user-select: text; |
55 padding: 0px; | 55 padding: 0px; |
56 margin: 0px; | 56 margin: 0px; |
57 position: fixed; | 57 position: fixed; |
58 bottom: 0px; | 58 bottom: 0px; |
59 width: 100%; | 59 width: 100%; |
60 height: 150px; | 60 height: 150px; |
61 overflow: auto; | 61 overflow: auto; |
62 font-family: monospace; | 62 font-family: monospace; |
63 font-weight: bold; | 63 font-weight: bold; |
64 line-height: 0.5em; | 64 font-size: small; |
65 border: 2px solid #ffffff; | 65 border: 2px solid #ffffff; |
66 display: none; | 66 display: none; |
67 opacity: 0.9; | 67 opacity: 0.9; |
68 background-color: #ffffff; | 68 background-color: #ffffff; |
69 z-index: 1; | 69 z-index: 1; |
70 } | 70 } |
71 | 71 |
72 .debug_log_toggle { | 72 .debug_log_toggle { |
73 line-height: 0.8em; | 73 line-height: 0.8em; |
74 float: right; | 74 float: right; |
(...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
152 background: #ebebeb -webkit-linear-gradient(#f4f4f4, #efefef 40%, #dcdcdc); | 152 background: #ebebeb -webkit-linear-gradient(#f4f4f4, #efefef 40%, #dcdcdc); |
153 color: #333; | 153 color: #333; |
154 } | 154 } |
155 | 155 |
156 button[disabled], button[disabled]:hover { | 156 button[disabled], button[disabled]:hover { |
157 -webkit-box-shadow: none; | 157 -webkit-box-shadow: none; |
158 background: -webkit-linear-gradient(#fafafa, #f4f4f4 40%, #e5e5e5); | 158 background: -webkit-linear-gradient(#fafafa, #f4f4f4 40%, #e5e5e5); |
159 border-color: #aaa; | 159 border-color: #aaa; |
160 color: #888; | 160 color: #888; |
161 } | 161 } |
OLD | NEW |