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 -webkit-box-orient: vertical; | 7 -webkit-box-orient: vertical; |
8 display: -webkit-box; | 8 display: -webkit-box; |
9 padding: 6px 0 0 0; | 9 padding: 6px 0 0 0; |
10 } | 10 } |
(...skipping 13 matching lines...) Expand all Loading... | |
24 color: rgb(53, 174, 71); | 24 color: rgb(53, 174, 71); |
25 } | 25 } |
26 | 26 |
27 | 27 |
28 /* Fix the height of the subpages so that the dialog does not resize when the | 28 /* Fix the height of the subpages so that the dialog does not resize when the |
29 user switches tabs. */ | 29 user switches tabs. */ |
30 #internet-details-content-area > .subpages-tab-contents { | 30 #internet-details-content-area > .subpages-tab-contents { |
31 -webkit-box-flex: 1; | 31 -webkit-box-flex: 1; |
32 -webkit-box-sizing: border-box; | 32 -webkit-box-sizing: border-box; |
33 -webkit-padding-end: 10px; | 33 -webkit-padding-end: 10px; |
34 height: 350px; | 34 height: 380px; |
35 min-width: 480px; | 35 min-width: 480px; |
36 overflow-y: auto; | 36 overflow-y: auto; |
37 } | 37 } |
38 | 38 |
39 #ip-config-list { | 39 #ip-config-list { |
40 min-height: 96px !important; | 40 min-height: 96px !important; |
41 } | 41 } |
42 | 42 |
43 /* Minimum and maximum height are integer multiples of the height of a list | 43 /* Minimum and maximum height are integer multiples of the height of a list |
44 entry. */ | 44 entry. */ |
45 #ignored-host-list { | 45 #ignored-host-list { |
46 -webkit-margin-start: 0; | 46 -webkit-margin-start: 0; |
47 border: solid 1px #999; | 47 border: solid 1px #999; |
48 max-height: 128px; | 48 max-height: 128px; |
49 min-height: 64px; | 49 min-height: 64px; |
50 width: 400px; | 50 width: 400px; |
51 } | 51 } |
52 | 52 |
53 #new-host { | 53 #new-host { |
54 -webkit-margin-start: 0; | 54 -webkit-margin-start: 0; |
55 margin-top: 8px; | 55 margin-top: 8px; |
56 } | 56 } |
57 | 57 |
58 #ipconfig-section { | |
59 border-top: 1px solid #EEE; | |
Dan Beam
2012/08/11 01:38:02
nit: I think we tend to prefer lowercase (e.g. #ee
Greg Spencer (Chromium)
2012/08/13 19:20:04
Fixed here and below.
| |
60 margin-bottom: 10px; | |
61 padding-top: 10px; | |
62 } | |
63 | |
64 #ipconfig-dns-section { | |
65 border-top: 1px solid #EEE; | |
66 padding-top: 10px; | |
67 } | |
68 | |
69 #user-dns-settings:not([selected]) { | |
70 display: none; | |
71 } | |
72 | |
73 .dns-display { | |
74 -webkit-margin-start: 24px; | |
75 -webkit-transition: opacity 150ms ease-in-out; | |
76 color: #BBB; | |
77 font-style: italic; | |
78 } | |
79 | |
80 .dns-display:not([selected]) { | |
81 -webkit-transition: opacity 150ms ease-in-out; | |
82 display: none; | |
83 } | |
OLD | NEW |