OLD | NEW |
1 html { | 1 html { |
2 height: 100%; | 2 height: 100%; |
3 } | 3 } |
4 | 4 |
5 body { | 5 body { |
6 height: 100%; | 6 height: 100%; |
7 width: 100%; | 7 width: 100%; |
8 position: relative; | 8 position: relative; |
9 overflow: hidden; | 9 overflow: hidden; |
10 margin: 0; | 10 margin: 0; |
11 } | 11 } |
12 | 12 |
| 13 body, |
13 body /deep/ .component-root { | 14 body /deep/ .component-root { |
14 cursor: default; | 15 cursor: default; |
15 font-family: Lucida Grande, sans-serif; | 16 font-family: Lucida Grande, sans-serif; |
16 font-size: 12px; | 17 font-size: 12px; |
17 tab-size: 4; | 18 tab-size: 4; |
18 -webkit-user-select: none; | 19 -webkit-user-select: none; |
19 color: #222; | 20 color: #222; |
20 } | 21 } |
21 | 22 |
| 23 body.platform-linux, |
22 body.platform-linux /deep/ .component-root { | 24 body.platform-linux /deep/ .component-root { |
23 color: rgb(48, 57, 66); | 25 color: rgb(48, 57, 66); |
24 font-family: Ubuntu, Arial, sans-serif; | 26 font-family: Ubuntu, Arial, sans-serif; |
25 } | 27 } |
26 | 28 |
| 29 body.platform-mac, |
27 body.platform-mac /deep/ .component-root { | 30 body.platform-mac /deep/ .component-root { |
28 color: rgb(48, 57, 66); | 31 color: rgb(48, 57, 66); |
29 font-family: 'Lucida Grande', sans-serif; | 32 font-family: 'Lucida Grande', sans-serif; |
30 } | 33 } |
31 | 34 |
| 35 body.platform-windows, |
32 body.platform-windows /deep/ .component-root { | 36 body.platform-windows /deep/ .component-root { |
33 font-family: 'Segoe UI', Tahoma, sans-serif; | 37 font-family: 'Segoe UI', Tahoma, sans-serif; |
34 } | 38 } |
35 | 39 |
36 body.platform-mac /deep/ .monospace, | 40 body.platform-mac /deep/ .monospace, |
37 body.platform-mac /deep/ .source-code { | 41 body.platform-mac /deep/ .source-code { |
38 font-size: 11px !important; | 42 font-size: 11px !important; |
39 font-family: Menlo, monospace; | 43 font-family: Menlo, monospace; |
40 } | 44 } |
41 | 45 |
(...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
98 font-size: 10px !important; | 102 font-size: 10px !important; |
99 font-family: monospace; | 103 font-family: monospace; |
100 } | 104 } |
101 | 105 |
102 body /deep/ .highlighted-search-result { | 106 body /deep/ .highlighted-search-result { |
103 border-radius: 1px; | 107 border-radius: 1px; |
104 padding: 1px; | 108 padding: 1px; |
105 margin: -1px; | 109 margin: -1px; |
106 background-color: rgba(255, 255, 0, 0.8); | 110 background-color: rgba(255, 255, 0, 0.8); |
107 } | 111 } |
OLD | NEW |