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