OLD | NEW |
1 /* Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 /* Copyright (c) 2012 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 /* Force tab strip to extend to the left and right edges of the window. */ | 5 /* Force tab strip to extend to the left and right edges of the window. */ |
6 #internet-details-content-area { | 6 #internet-details-content-area { |
7 margin: 0 !important; | 7 margin: 0 !important; |
8 padding: 0 !important; | 8 padding: 0 !important; |
9 } | 9 } |
10 | 10 |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 border-left: 1px solid #ddd; | 42 border-left: 1px solid #ddd; |
43 border-right: 1px solid #ddd; | 43 border-right: 1px solid #ddd; |
44 border-top: 1px solid #ddd; | 44 border-top: 1px solid #ddd; |
45 } | 45 } |
46 | 46 |
47 /* Fix the height of the subpages so that the dialog does not resize when the | 47 /* Fix the height of the subpages so that the dialog does not resize when the |
48 user switches tabs. */ | 48 user switches tabs. */ |
49 #internet-details-content-area > .subpages-tab-contents { | 49 #internet-details-content-area > .subpages-tab-contents { |
50 -webkit-padding-end: 10px; | 50 -webkit-padding-end: 10px; |
51 height: 350px; | 51 height: 350px; |
| 52 min-width: 480px; |
52 overflow-y: auto; | 53 overflow-y: auto; |
53 } | 54 } |
54 | 55 |
55 #ipConfigList { | 56 #ipConfigList { |
56 min-height: 96px !important; | 57 min-height: 96px !important; |
57 } | 58 } |
58 | 59 |
| 60 /* Minimum and maximum height are integer multiples of the height of a list |
| 61 entry. */ |
| 62 #ignoredHostList { |
| 63 -webkit-margin-start: 0; |
| 64 border: solid 1px #999; |
| 65 max-height: 128px; |
| 66 min-height: 64px; |
| 67 width: 400px; |
| 68 } |
| 69 |
| 70 #newHost { |
| 71 -webkit-margin-start: 0; |
| 72 margin-top: 8px; |
| 73 } |
| 74 |
OLD | NEW |