| 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.component-root, |
| 14 body /deep/ .component-root { | 14 body /deep/ .component-root { |
| 15 cursor: default; | 15 cursor: default; |
| 16 font-family: Lucida Grande, sans-serif; | 16 font-family: Lucida Grande, sans-serif; |
| 17 font-size: 12px; | 17 font-size: 12px; |
| 18 tab-size: 4; | 18 tab-size: 4; |
| 19 -webkit-user-select: none; | 19 -webkit-user-select: none; |
| 20 color: #222; | 20 color: #222; |
| 21 } | 21 } |
| 22 | 22 |
| 23 body.platform-linux, | 23 body.platform-linux, |
| 24 body.platform-linux /deep/ .component-root { | 24 body /deep/ .platform-linux { |
| 25 color: rgb(48, 57, 66); | 25 color: rgb(48, 57, 66); |
| 26 font-family: Ubuntu, Arial, sans-serif; | 26 font-family: Ubuntu, Arial, sans-serif; |
| 27 } | 27 } |
| 28 | 28 |
| 29 body.platform-mac, | 29 body.platform-mac, |
| 30 body.platform-mac /deep/ .component-root { | 30 body /deep/ .platform-mac { |
| 31 color: rgb(48, 57, 66); | 31 color: rgb(48, 57, 66); |
| 32 font-family: 'Lucida Grande', sans-serif; | 32 font-family: 'Lucida Grande', sans-serif; |
| 33 } | 33 } |
| 34 | 34 |
| 35 body.platform-windows, | 35 body.platform-windows, |
| 36 body.platform-windows /deep/ .component-root { | 36 body /deep/ .platform-windows { |
| 37 font-family: 'Segoe UI', Tahoma, sans-serif; | 37 font-family: 'Segoe UI', Tahoma, sans-serif; |
| 38 } | 38 } |
| 39 | 39 |
| 40 body.platform-mac /deep/ .monospace, | 40 body.platform-mac .monospace, |
| 41 body.platform-mac /deep/ .source-code { | 41 body.platform-mac .source-code |
| 42 body /deep/ .platform-mac .monospace, |
| 43 body /deep/ .platform-mac .source-code { |
| 42 font-size: 11px !important; | 44 font-size: 11px !important; |
| 43 font-family: Menlo, monospace; | 45 font-family: Menlo, monospace; |
| 44 } | 46 } |
| 45 | 47 |
| 46 body.platform-mac.platform-mac-tiger /deep/ .monospace, | 48 body.platform-windows .monospace, |
| 47 body.platform-mac.platform-mac-tiger /deep/ .source-code { | 49 body.platform-windows .source-code |
| 48 font-size: 10px !important; | 50 body /deep/ .platform-windows .monospace, |
| 49 font-family: Monaco, monospace; | 51 body /deep/ .platform-windows .source-code { |
| 50 } | |
| 51 | |
| 52 body.platform-windows /deep/ .monospace, | |
| 53 body.platform-windows /deep/ .source-code { | |
| 54 font-size: 12px !important; | 52 font-size: 12px !important; |
| 55 font-family: Consolas, Lucida Console, monospace; | 53 font-family: Consolas, Lucida Console, monospace; |
| 56 } | 54 } |
| 57 | 55 |
| 58 body.platform-linux /deep/ .monospace, | 56 body.platform-linux .monospace, |
| 59 body.platform-linux /deep/ .source-code { | 57 body.platform-linux .source-code |
| 58 body /deep/ .platform-linux .monospace, |
| 59 body /deep/ .platform-linux .source-code { |
| 60 font-size: 11px !important; | 60 font-size: 11px !important; |
| 61 font-family: dejavu sans mono, monospace; | 61 font-family: dejavu sans mono, monospace; |
| 62 } | 62 } |
| 63 | 63 |
| 64 body /deep/ .source-code { | 64 body /deep/ .source-code { |
| 65 font-family: monospace; | 65 font-family: monospace; |
| 66 font-size: 11px !important; | 66 font-size: 11px !important; |
| 67 white-space: pre-wrap; | 67 white-space: pre-wrap; |
| 68 } | 68 } |
| 69 | 69 |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 102 font-size: 10px !important; | 102 font-size: 10px !important; |
| 103 font-family: monospace; | 103 font-family: monospace; |
| 104 } | 104 } |
| 105 | 105 |
| 106 body /deep/ .highlighted-search-result { | 106 body /deep/ .highlighted-search-result { |
| 107 border-radius: 1px; | 107 border-radius: 1px; |
| 108 padding: 1px; | 108 padding: 1px; |
| 109 margin: -1px; | 109 margin: -1px; |
| 110 background-color: rgba(255, 255, 0, 0.8); | 110 background-color: rgba(255, 255, 0, 0.8); |
| 111 } | 111 } |
| OLD | NEW |