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 #results-separator { | 6 #results-summary { |
7 border-top: 1px solid rgb(156, 194, 239); | 7 border-top: 1px solid rgb(156, 194, 239); |
8 background-color: rgb(235, 239, 249); | 8 background-color: rgb(235, 239, 249); |
9 font-weight: bold; | 9 font-weight: bold; |
10 padding: 3px; | 10 padding: 3px; |
11 margin-bottom: -8px; | 11 margin-bottom: -8px; |
12 margin-top: 12px; | 12 margin-top: 12px; |
13 } | |
14 | |
15 #results-separator table { | |
16 width: 100%; | |
17 } | |
18 | |
19 #results-summary { | |
20 overflow: hidden; | 13 overflow: hidden; |
21 text-overflow: ellipsis; | 14 text-overflow: ellipsis; |
22 white-space: nowrap; | 15 white-space: nowrap; |
23 width: 50%; | |
24 } | 16 } |
25 | 17 |
26 #editing-controls button { | 18 #editing-controls button { |
27 margin: 18px 0 -8px 0; | 19 margin: 18px 0 -8px 0; |
28 } | 20 } |
29 | 21 |
30 #results-display { | 22 #results-display { |
31 margin: 16px 0 0 0; | 23 margin: 16px 0 0 0; |
32 max-width: 740px; | 24 max-width: 740px; |
33 } | 25 } |
(...skipping 176 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
210 | 202 |
211 /* Since all history links are visited, we can make them blue. */ | 203 /* Since all history links are visited, we can make them blue. */ |
212 .entry .title > a:visted { | 204 .entry .title > a:visted { |
213 color: rgb(17, 17, 204); | 205 color: rgb(17, 17, 204); |
214 } | 206 } |
215 | 207 |
216 .fade-out { | 208 .fade-out { |
217 -webkit-transition: opacity 200ms; | 209 -webkit-transition: opacity 200ms; |
218 opacity: 0; | 210 opacity: 0; |
219 } | 211 } |
| 212 |
| 213 .page-navigation { |
| 214 -webkit-margin-end: 4px; |
| 215 background-color: rgb(235, 239, 249); |
| 216 padding: 8px; |
| 217 } |
OLD | NEW |