OLD | NEW |
---|---|
1 /* Copyright 2015 The Chromium Authors. All rights reserved. | 1 /* Copyright 2015 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 * @fileoverview | 6 * @fileoverview |
7 * Common styles for Settings pages. | 7 * Common styles for Settings pages. |
8 */ | 8 */ |
9 :host > paper-material { | 9 :host > paper-material { |
10 -webkit-padding-start: 80px; | 10 @apply(--shadow-elevation-4dp); |
11 background-color: white; | 11 background-color: white; |
12 display: flex; | 12 margin: 16px; |
13 flex-direction: column; | 13 width: 605px; |
14 padding: 40px; | 14 } |
15 | |
16 [header] { | |
michaelpg
2015/07/21 22:04:01
why an attribute instead of a class/ID?
tommycli
2015/07/22 19:06:42
Done.
| |
17 @apply(--layout-horizontal); | |
18 @apply(--layout-center); | |
19 background-color: #f8f8f8; | |
20 border-bottom: 1px solid rgba(0, 0, 0, .1); | |
21 padding: 16px; | |
22 } | |
23 | |
24 [header] iron-icon { | |
25 color: rgba(0, 0, 0, .87); | |
26 padding-right: 16px; | |
michaelpg
2015/07/21 22:04:01
-webkit-padding-end
tommycli
2015/07/22 19:06:42
Why webkit-padding-end instead of padding-right?
| |
27 } | |
michaelpg
2015/07/21 22:04:01
nit: newline
tommycli
2015/07/22 19:06:42
Done.
| |
28 [header] .title { | |
29 @apply(--paper-font-body2); | |
30 } | |
31 | |
32 div.content { | |
33 padding: 16px; | |
15 } | 34 } |
16 | 35 |
17 .soft-border { | 36 .soft-border { |
18 border: 1px solid #c4c4c4; | 37 border: 1px solid #c4c4c4; |
19 border-radius: 2px; | 38 border-radius: 2px; |
20 } | 39 } |
21 | 40 |
22 .page-content { | 41 .page-content { |
23 width: 760px; | 42 width: 760px; |
24 } | 43 } |
25 | |
26 cr-settings-page-header { | |
27 margin-bottom: 30px; | |
28 min-height: 24px; | |
29 } | |
30 | |
31 cr-settings-checkbox { | |
32 -webkit-margin-end: 10px; | |
33 -webkit-margin-start: 0; | |
34 margin-bottom: 10px; | |
35 margin-top: 10px; | |
36 } | |
OLD | NEW |