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 /* This file holds CSS that should be shared, in theory, by all user-visible | 5 /* This file holds CSS that should be shared, in theory, by all user-visible |
6 * chrome:// pages. This contrasts chrome_shared.css, which it is meant to | 6 * chrome:// pages. This contrasts chrome_shared.css, which it is meant to |
7 * replace, but has CSS specific to options and options-like pages. */ | 7 * replace, but has CSS specific to options and options-like pages. */ |
8 | 8 |
9 /* Prevent CSS from overriding the hidden property. */ | 9 /* Prevent CSS from overriding the hidden property. */ |
10 [hidden] { | 10 [hidden] { |
11 display: none !important; | 11 display: none !important; |
12 } | 12 } |
13 | 13 |
14 body { | 14 body { |
15 cursor: default; | 15 cursor: default; |
16 font-family: Open Sans, sans-serif; | 16 font-family: 'Open Sans', sans-serif; |
17 font-size: 12px; | 17 font-size: 12px; |
18 margin: 0; | 18 margin: 0; |
19 } | 19 } |
20 | 20 |
21 p { | 21 p { |
22 line-height: 22px; | 22 line-height: 22px; |
23 } | 23 } |
24 | 24 |
25 h1 { | 25 h1 { |
26 -webkit-user-select: none; | 26 -webkit-user-select: none; |
27 color: rgb(48, 57, 66); | 27 color: rgb(48, 57, 66); |
28 font-size: 18px; | 28 font-size: 18px; |
29 font-weight: normal; | 29 font-weight: normal; |
30 margin-top: 1em; | 30 margin-top: 1em; |
31 } | 31 } |
32 | 32 |
33 a { | 33 a { |
34 color: #1155cc; | 34 color: rgb(17, 85, 204); |
35 text-decoration: underline; | 35 text-decoration: underline; |
36 } | 36 } |
37 | 37 |
38 a:active { | 38 a:active { |
39 color: #052577; | 39 color: rgb(5, 37, 119); |
40 } | 40 } |
41 | 41 |
42 div.checkbox, | 42 div.checkbox, |
43 div.radio { | 43 div.radio { |
44 margin: 5px 0; | 44 margin: 5px 0; |
45 } | 45 } |
46 | 46 |
47 input[type=radio] ~ span, | 47 input[type=radio] ~ span, |
48 input[type=checkbox] ~ span { | 48 input[type=checkbox] ~ span { |
49 color: #444; | 49 color: #444; |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
111 * For now it's a bandaid until we install open sans properly. */ | 111 * For now it's a bandaid until we install open sans properly. */ |
112 <if expr="not pp_ifdef('chromeos')"> | 112 <if expr="not pp_ifdef('chromeos')"> |
113 @font-face { | 113 @font-face { |
114 font-family: 'Open Sans'; | 114 font-family: 'Open Sans'; |
115 font-style: normal; | 115 font-style: normal; |
116 font-weight: 400; | 116 font-weight: 400; |
117 src: local('Open Sans'), local('OpenSans'), | 117 src: local('Open Sans'), local('OpenSans'), |
118 url('chrome://resources/fonts/open_sans.woff') format('woff'); | 118 url('chrome://resources/fonts/open_sans.woff') format('woff'); |
119 } | 119 } |
120 </if> | 120 </if> |
OLD | NEW |