| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright 2017 The Chromium Authors. All rights reserved. | 2 * Copyright 2017 The Chromium Authors. All rights reserved. |
| 3 * Use of this source code is governed by a BSD-style license that can be | 3 * Use of this source code is governed by a BSD-style license that can be |
| 4 * found in the LICENSE file. | 4 * found in the LICENSE file. |
| 5 */ | 5 */ |
| 6 | 6 |
| 7 .object-popover-content { |
| 8 display: block; |
| 9 position: relative; |
| 10 overflow: hidden; |
| 11 } |
| 12 |
| 7 .object-popover-title { | 13 .object-popover-title { |
| 8 text-overflow: ellipsis; | 14 text-overflow: ellipsis; |
| 9 overflow: hidden; | 15 overflow: hidden; |
| 10 white-space: nowrap; | 16 white-space: nowrap; |
| 11 font-weight: bold; | 17 font-weight: bold; |
| 12 padding-left: 18px; | 18 padding-left: 18px; |
| 19 padding-bottom: 2px; |
| 13 } | 20 } |
| 14 | 21 |
| 15 .object-popover-tree { | 22 .object-popover-tree { |
| 16 border-top: 1px solid rgb(184, 184, 184); | 23 border-top: 1px solid rgb(184, 184, 184); |
| 17 overflow: auto; | 24 overflow: auto; |
| 18 position: absolute; | 25 width: 100%; |
| 19 top: 21px; | 26 height: calc(100% - 13px); |
| 20 bottom: 5px; | |
| 21 left: 5px; | |
| 22 right: 5px; | |
| 23 margin-top: 1px; | |
| 24 } | 27 } |
| 25 | 28 |
| 26 .object-popover-container { | 29 .object-popover-container { |
| 27 display: inline-block; | 30 display: inline-block; |
| 28 } | 31 } |
| 29 | 32 |
| 30 .function-popover-title { | 33 .function-popover-title { |
| 31 border-bottom: 1px solid #AAA; | 34 border-bottom: 1px solid #AAA; |
| 32 margin-bottom: 3px; | 35 margin-bottom: 3px; |
| 33 padding-bottom: 2px; | 36 padding-bottom: 2px; |
| (...skipping 11 matching lines...) Expand all Loading... |
| 45 align-items: center; | 48 align-items: center; |
| 46 position: relative; | 49 position: relative; |
| 47 margin-left: 10px; | 50 margin-left: 10px; |
| 48 } | 51 } |
| 49 | 52 |
| 50 .function-location-step-into { | 53 .function-location-step-into { |
| 51 position: relative; | 54 position: relative; |
| 52 height: 14px; | 55 height: 14px; |
| 53 transform: rotate(-90deg); | 56 transform: rotate(-90deg); |
| 54 } | 57 } |
| OLD | NEW |