OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2009 Apple Inc. All rights reserved. | 2 * Copyright (C) 2009 Apple Inc. All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions | 5 * modification, are permitted provided that the following conditions |
6 * are met: | 6 * are met: |
7 * | 7 * |
8 * 1. Redistributions of source code must retain the above copyright | 8 * 1. Redistributions of source code must retain the above copyright |
9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
10 * 2. Redistributions in binary form must reproduce the above copyright | 10 * 2. Redistributions in binary form must reproduce the above copyright |
(...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
109 } | 109 } |
110 | 110 |
111 .devtools-link [is=ui-icon] { | 111 .devtools-link [is=ui-icon] { |
112 vertical-align: middle; | 112 vertical-align: middle; |
113 } | 113 } |
114 | 114 |
115 .devtools-link:not(.devtools-link-prevent-click) { | 115 .devtools-link:not(.devtools-link-prevent-click) { |
116 cursor: pointer; | 116 cursor: pointer; |
117 } | 117 } |
118 | 118 |
| 119 .devtools-link .devtools-link-ellipsis::before { |
| 120 content: '\2026'; |
| 121 } |
| 122 |
119 .-theme-with-dark-background .devtools-link, | 123 .-theme-with-dark-background .devtools-link, |
120 :host-context(.-theme-with-dark-background) .devtools-link { | 124 :host-context(.-theme-with-dark-background) .devtools-link { |
121 color: hsl(0, 0%, 67%); | 125 color: hsl(0, 0%, 67%); |
122 } | 126 } |
123 | 127 |
124 .webkit-html-end-of-file { | 128 .webkit-html-end-of-file { |
125 /* Keep this in sync with view-source.css (.webkit-html-end-of-file) */ | 129 /* Keep this in sync with view-source.css (.webkit-html-end-of-file) */ |
126 color: rgb(255, 0, 0); | 130 color: rgb(255, 0, 0); |
127 font-weight: bold; | 131 font-weight: bold; |
128 } | 132 } |
OLD | NEW |