| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. | 2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. |
| 3 * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org> | 3 * Copyright (C) 2009 Anthony Ricaud <rik@webkit.org> |
| 4 * | 4 * |
| 5 * Redistribution and use in source and binary forms, with or without | 5 * Redistribution and use in source and binary forms, with or without |
| 6 * modification, are permitted provided that the following conditions | 6 * modification, are permitted provided that the following conditions |
| 7 * are met: | 7 * are met: |
| 8 * | 8 * |
| 9 * 1. Redistributions of source code must retain the above copyright | 9 * 1. Redistributions of source code must retain the above copyright |
| 10 * notice, this list of conditions and the following disclaimer. | 10 * notice, this list of conditions and the following disclaimer. |
| (...skipping 184 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 195 } | 195 } |
| 196 | 196 |
| 197 a.worker-item:hover { | 197 a.worker-item:hover { |
| 198 color: rgb(15%, 15%, 15%); | 198 color: rgb(15%, 15%, 15%); |
| 199 } | 199 } |
| 200 | 200 |
| 201 .panel.sources .sidebar-pane-stack { | 201 .panel.sources .sidebar-pane-stack { |
| 202 overflow: auto; | 202 overflow: auto; |
| 203 } | 203 } |
| 204 | 204 |
| 205 .threads-toolbar { | 205 .targets-toolbar { |
| 206 padding-left: 10px; | 206 padding-left: 10px; |
| 207 margin-top: -1px; | 207 margin-top: -1px; |
| 208 } | 208 } |
| 209 | 209 |
| 210 .panel.sources .drag-mask { | 210 .panel.sources .drag-mask { |
| 211 background-color: rgba(255,255,255,0.8); | 211 background-color: rgba(255,255,255,0.8); |
| 212 z-index: 1000; | 212 z-index: 1000; |
| 213 } | 213 } |
| 214 | 214 |
| 215 .panel.sources .drag-mask-inner { | 215 .panel.sources .drag-mask-inner { |
| 216 font-size: 30px; | 216 font-size: 30px; |
| 217 color: #999; | 217 color: #999; |
| 218 display: flex; | 218 display: flex; |
| 219 justify-content: center; | 219 justify-content: center; |
| 220 align-items: center; | 220 align-items: center; |
| 221 margin: 20px; | 221 margin: 20px; |
| 222 border: 4px dashed #ddd; | 222 border: 4px dashed #ddd; |
| 223 pointer-events: none; | 223 pointer-events: none; |
| 224 } | 224 } |
| OLD | NEW |