| 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 |