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 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
89 li.breakpoint-hit .breakpoint-hit-marker { | 89 li.breakpoint-hit .breakpoint-hit-marker { |
90 background-color: rgb(255, 255, 194); | 90 background-color: rgb(255, 255, 194); |
91 height: 18px; | 91 height: 18px; |
92 left: 0; | 92 left: 0; |
93 margin-top: -16px; | 93 margin-top: -16px; |
94 position: absolute; | 94 position: absolute; |
95 right: 0; | 95 right: 0; |
96 z-index: -1; | 96 z-index: -1; |
97 } | 97 } |
98 | 98 |
| 99 .event-listener-breakpoints.properties-tree li { |
| 100 height: 16px; |
| 101 padding-top: 3px; |
| 102 } |
| 103 |
99 .event-listener-breakpoints.properties-tree .children li { | 104 .event-listener-breakpoints.properties-tree .children li { |
100 margin-left: 12px; | 105 margin-left: 12px; |
101 height: 16px; | 106 height: 16px; |
102 } | 107 } |
103 | 108 |
104 .event-listener-breakpoints .checkbox-elem { | 109 .event-listener-breakpoints .checkbox-elem { |
105 float: left; | 110 float: left; |
106 top: -2px; | |
107 position: relative; | 111 position: relative; |
108 left: -1px; | 112 top: 1px; |
109 font-size: 10px; | 113 font-size: 10px; |
110 } | 114 } |
OLD | NEW |