| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <!-- | 2 <!-- |
| 3 Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 3 Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 4 for details. All rights reserved. Use of this source code is governed by a | 4 for details. All rights reserved. Use of this source code is governed by a |
| 5 BSD-style license that can be found in the LICENSE file. | 5 BSD-style license that can be found in the LICENSE file. |
| 6 --> | 6 --> |
| 7 <html lang="en" manifest="nossl.appcache" itemscope itemtype="http://schema.org/
Product"> | 7 <html lang="en" manifest="nossl.appcache" itemscope itemtype="http://schema.org/
Product"> |
| 8 <head> | 8 <head> |
| 9 <meta charset="utf-8"> | 9 <meta charset="utf-8"> |
| 10 <title>Try Dart!</title> | 10 <title>Try Dart!</title> |
| 11 <meta http-equiv="Content-type" content="text/html;charset=UTF-8"> | 11 <meta http-equiv="Content-type" content="text/html;charset=UTF-8"> |
| 12 <!-- | 12 <!-- |
| 13 TODO(ahe): Reduce the number of fonts used based on actual usage. | 13 TODO(ahe): Reduce the number of fonts used based on actual usage. |
| 14 | 14 |
| 15 See: http://www.google.com/fonts#UsePlace:use/Collection:Open+Sans:400,600,700,8
00,300 | 15 See: http://www.google.com/fonts#UsePlace:use/Collection:Open+Sans:400,600,700,8
00,300 |
| 16 --> | 16 --> |
| 17 <link href="//netdna.bootstrapcdn.com/font-awesome/4.0.3/css/font-awesome.css" r
el="stylesheet"> | 17 <link href="//netdna.bootstrapcdn.com/font-awesome/4.0.3/css/font-awesome.css" r
el="stylesheet"> |
| 18 <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,600,700,800,300
' rel='stylesheet' type='text/css'> | 18 <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,600,700,800,300
' rel='stylesheet' type='text/css'> |
| 19 <link rel="stylesheet" type="text/css" href="dartlang-style.css"> | 19 <link rel="stylesheet" type="text/css" href="dartlang-style.css"> |
| 20 <link rel="alternate stylesheet" type="text/css" href="line_numbers.css" title="
line_numbers"> | 20 <link rel="alternate stylesheet" type="text/css" href="line_numbers.css" title="
line_numbers"> |
| 21 <style> | 21 <style> |
| 22 a.diagnostic { | 22 a.diagnostic { |
| 23 color: inherit; | 23 color: inherit; |
| 24 border-bottom: 2px dotted red; | 24 border-bottom: 2px dotted red; |
| 25 } | 25 } |
| 26 a:hover.diagnostic { | 26 a:hover.diagnostic { |
| 27 text-decoration: none; | 27 text-decoration: none; |
| 28 } | 28 } |
| 29 a.diagnostic span { | 29 a.diagnostic>span { |
| 30 display: none; | 30 display: none; |
| 31 } | 31 } |
| 32 a:hover.diagnostic span { | 32 a:hover.diagnostic>span { |
| 33 display: block; | 33 display: block; |
| 34 position: absolute; | 34 position: absolute; |
| 35 /* left: 1em; */ | 35 /* left: 1em; */ |
| 36 /* top: 2em; */ | 36 /* top: 2em; */ |
| 37 right: 19px; | 37 right: 19px; |
| 38 } | 38 } |
| 39 | 39 |
| 40 .offline { | 40 .offline { |
| 41 transition: opacity 10s; | 41 transition: opacity 10s; |
| 42 -webkit-transition: opacity 10s; | 42 -webkit-transition: opacity 10s; |
| 43 } | 43 } |
| 44 | 44 |
| 45 .offlineyay { | 45 .offlineyay { |
| 46 font-weight: bolder; | 46 font-weight: bolder; |
| 47 opacity: 0.0; | 47 opacity: 0.0; |
| 48 } | 48 } |
| 49 | 49 |
| 50 .dart-code-completion-holder { | 50 .dart-code-completion-holder { |
| 51 position: relative; | 51 position: relative; |
| 52 display: 'inline-block'; | 52 display: 'inline-block'; |
| 53 } | 53 } |
| 54 | 54 |
| 55 .dart-code-completion-holder *.dart-code-completion { | 55 .dart-code-completion-holder /deep/ *.dart-code-completion { |
| 56 display: none; | 56 display: none; |
| 57 position: absolute; | 57 position: absolute; |
| 58 left: 0px; | 58 left: 0px; |
| 59 min-width: 200px; | 59 min-width: 200px; |
| 60 background: white; | 60 background: white; |
| 61 foreground: black; | 61 foreground: black; |
| 62 border: 1px solid black; | 62 border: 1px solid black; |
| 63 z-index: 10; | 63 z-index: 10; |
| 64 padding-left: 5px; | 64 padding-left: 5px; |
| 65 } | 65 } |
| 66 | 66 |
| 67 .dart-code-completion-holder.active *.dart-code-completion { | 67 .dart-code-completion-holder.active /deep/ *.dart-code-completion { |
| 68 display: block; | 68 display: block; |
| 69 } | 69 } |
| 70 | 70 |
| 71 .dart-static { | 71 body /deep/ .dart-static { |
| 72 width: 198px; | 72 width: 198px; |
| 73 overflow: auto; | 73 overflow: auto; |
| 74 } | 74 } |
| 75 | 75 |
| 76 /* | 76 /* |
| 77 * TODO(ahe): There are problems with scroll bars on Macs, see: | 77 * TODO(ahe): There are problems with scroll bars on Macs, see: |
| 78 * http://stackoverflow.com/questions/7855590/how-can-i-prevent-scroll-bars-from
-being-hidden-for-os-x-trackpad-users-in-webki | 78 * http://stackoverflow.com/questions/7855590/how-can-i-prevent-scroll-bars-from
-being-hidden-for-os-x-trackpad-users-in-webki |
| 79 * .dart-static::-webkit-scrollbar { | 79 * .dart-static::-webkit-scrollbar { |
| 80 * -webkit-appearance: none; | 80 * -webkit-appearance: none; |
| 81 * } | 81 * } |
| (...skipping 11 matching lines...) Expand all Loading... |
| 93 * border: 2px solid white; /* should match background, can't be transparent *
/ | 93 * border: 2px solid white; /* should match background, can't be transparent *
/ |
| 94 * background-color: rgba(0, 0, 0, .5); | 94 * background-color: rgba(0, 0, 0, .5); |
| 95 * } | 95 * } |
| 96 * | 96 * |
| 97 * .dart-static::-webkit-scrollbar-track { | 97 * .dart-static::-webkit-scrollbar-track { |
| 98 * background-color: #fff; | 98 * background-color: #fff; |
| 99 * border-radius: 8px; | 99 * border-radius: 8px; |
| 100 * } | 100 * } |
| 101 */ | 101 */ |
| 102 | 102 |
| 103 .dart-limited-height { | 103 body /deep/ .dart-limited-height { |
| 104 /* TODO(ahe): Make sure to compute this height to avoid jumping in the UI. */ | 104 /* TODO(ahe): Make sure to compute this height to avoid jumping in the UI. */ |
| 105 max-height: 66px; | 105 max-height: 66px; |
| 106 } | 106 } |
| 107 | 107 |
| 108 .dart-server { | 108 body /deep/ .dart-server { |
| 109 width: 198px; | 109 width: 198px; |
| 110 border-top: 1px solid black; | 110 border-top: 1px solid black; |
| 111 } | 111 } |
| 112 | 112 |
| 113 .activeEntry { | 113 body /deep/ .activeEntry { |
| 114 background: #86b4bf; | 114 background: #86b4bf; |
| 115 } | 115 } |
| 116 | 116 |
| 117 .doubleplusgood { | 117 body /deep/ .doubleplusgood { |
| 118 font-weight: 700; | 118 font-weight: 700; |
| 119 } | 119 } |
| 120 | 120 |
| 121 .dart-entry { | 121 body /deep/ .dart-entry { |
| 122 max-width: 198px; | 122 max-width: 198px; |
| 123 overflow: hidden; | 123 overflow: hidden; |
| 124 white-space: nowrap; | 124 white-space: nowrap; |
| 125 } | 125 } |
| 126 | 126 |
| 127 .hazed-suggestion { | 127 body /deep/ .hazed-suggestion { |
| 128 color: #aaa; | 128 color: #aaa; |
| 129 } | 129 } |
| 130 | 130 |
| 131 .hazed-suggestion:after { | 131 body /deep/ .hazed-suggestion:after { |
| 132 content: " "; | 132 content: " "; |
| 133 } | 133 } |
| 134 | 134 |
| 135 .slider { | 135 .slider { |
| 136 overflow-y: hidden; | 136 overflow-y: hidden; |
| 137 height: 0; | 137 height: 0; |
| 138 max-height: 9999px; | 138 max-height: 9999px; |
| 139 | 139 |
| 140 transition-property: height; | 140 transition-property: height; |
| 141 transition-duration: .5s; | 141 transition-duration: .5s; |
| (...skipping 130 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 272 </div> | 272 </div> |
| 273 </div> | 273 </div> |
| 274 </footer> | 274 </footer> |
| 275 <!-- | 275 <!-- |
| 276 <script type="application/javascript" src="https://dart.googlecode.com/svn/branc
hes/bleeding_edge/dart/pkg/browser/lib/dart.js"></script> | 276 <script type="application/javascript" src="https://dart.googlecode.com/svn/branc
hes/bleeding_edge/dart/pkg/browser/lib/dart.js"></script> |
| 277 <script type="application/dart" src="leap.dart"></script> | 277 <script type="application/dart" src="leap.dart"></script> |
| 278 --> | 278 --> |
| 279 <script type="application/javascript" src="leap.dart.js"></script> | 279 <script type="application/javascript" src="leap.dart.js"></script> |
| 280 </body> | 280 </body> |
| 281 </html> | 281 </html> |
| OLD | NEW |