Index: frog/tip/tip.css |
diff --git a/frog/tip/tip.css b/frog/tip/tip.css |
deleted file mode 100644 |
index 68f65ca877ba89729385c8ed87f15edbae997c23..0000000000000000000000000000000000000000 |
--- a/frog/tip/tip.css |
+++ /dev/null |
@@ -1,224 +0,0 @@ |
-/* Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file */ |
-/* for details. All rights reserved. Use of this source code is governed by a */ |
-/* BSD-style license that can be found in the LICENSE file. */ |
- |
-html { |
- height: 100%; |
- width: 100%; |
-} |
- |
-body { |
- background: #fff; |
- margin: 0 0 0 0; |
- height: 100%; |
- width: 100%; |
- overflow: hidden; |
- -webkit-tap-highlight-color: rgba(0,0,0,0.00); |
- font-family: arial , sans-serif; |
-} |
- |
-h3 { |
- text-align: center; |
-} |
- |
-.shell { |
- position: absolute; |
- top: 5px; |
- left: 5px; |
- right: 5px; |
- bottom: 5px; |
-} |
- |
-.editor { |
- font: 14px/22px Menlo, Monaco, Consolas, Courier, monospace; |
- color: hsl(220, 20%, 30%); |
- background: white; /*hsl(220, 20%, 95%);*/ |
- margin: 0; |
- padding: 0; |
- overflow: auto; |
- position: absolute; |
- cursor: text; |
- top: 0px; |
- left: 0px; |
- right: 50.3%; /* Should be 50% + Npx */ |
- |
- /* TODO(jimhug): When can be selected and unselected, make graceful. */ |
- transition: all 0.25s ease-in-out; |
- -webkit-transition: all 0.25s ease-in-out; |
- -moz-transition: all 0.25s ease-in-out; |
- |
- box-shadow: 0 0 5px rgba(0, 0, 255, 1); |
- -webkit-box-shadow: 0 0 5px rgba(0, 0, 255, 1); |
- -moz-box-shadow: 0 0 5px rgba(0, 0, 255, 1); |
- border: 1px solid rgba(0,0,255, 0.8); |
- border-radius: 4px; |
-} |
- |
-.output { |
- position: absolute; |
- top: 0px; |
- left: 50.3%; |
- right: 0px; |
- margin: 0; |
- padding: 0; |
- |
- /* TODO(jimhug): When can be selected and unselected, make graceful. */ |
- transition: all 0.25s ease-in-out; |
- -webkit-transition: all 0.25s ease-in-out; |
- -moz-transition: all 0.25s ease-in-out; |
- |
- box-shadow: 0 0 5px rgba(128, 128, 0, 1); |
- -webkit-box-shadow: 0 0 5px rgba(128, 128, 0, 1); |
- -moz-box-shadow: 0 0 5px rgba(128, 128, 0, 1); |
- border: 1px solid rgba(128, 128, 0, 0.8); |
- border-radius: 4px; |
-} |
- |
-.repl { |
- position: absolute; |
- left: 0px; |
- bottom: 0px; |
- right: 50.3%; |
- margin: 0; |
- padding: 0; |
- |
- color: green; |
- overflow: hidden; |
- |
- /* TODO(jimhug): When can be selected and unselected, make graceful. */ |
- transition: all 0.25s ease-in-out; |
- -webkit-transition: all 0.25s ease-in-out; |
- -moz-transition: all 0.25s ease-in-out; |
- |
- box-shadow: 0 0 5px rgba(0, 128, 0, 1); |
- -webkit-box-shadow: 0 0 5px rgba(0, 128, 0, 1); |
- -moz-box-shadow: 0 0 5px rgba(0, 128, 0, 1); |
- border: 1px solid rgba(0, 128, 0, 0.8); |
- border-radius: 4px; |
-} |
- |
-.message { |
- margin: 3px; |
- border-bottom: 1px solid hsl(220, 20%, 75%); |
- color: hsl(220, 20%, 30%); |
- cursor: pointer; |
- overflow: auto; |
-} |
- |
-.message:hover { |
- color: hsl(220, 20%, 0%); |
- text-decoration: underline; |
-} |
- |
-.errors { |
- position: absolute; |
- left: 50.3%; |
- bottom: 0px; |
- right: 0px; |
- margin: 0; |
- padding: 0; |
- |
- color: red; |
- |
- /* TODO(jimhug): When can be selected and unselected, make graceful. */ |
- transition: all 0.25s ease-in-out; |
- -webkit-transition: all 0.25s ease-in-out; |
- -moz-transition: all 0.25s ease-in-out; |
- |
- box-shadow: 0 0 5px rgba(128, 0, 0, 1); |
- -webkit-box-shadow: 0 0 5px rgba(128, 0, 0, 1); |
- -moz-box-shadow: 0 0 5px rgba(128, 0, 0, 1); |
- border: 1px solid rgba(128, 0, 0, 0.8); |
- border-radius: 4px; |
-} |
- |
-.output iframe { |
- margin: 0; |
- padding: 0; |
- width: 100%; |
- height: 100%; |
- border: none; |
-} |
- |
-.code { |
- white-space: pre; |
- position: absolute; |
- /* TODO(jimhug): Useful for debugging. */ |
- outline: 1px dotted rgba(0, 0, 0, 0.2); |
-} |
- |
-/* Syntax highlighting. */ |
-/* Note: these correspond to the constants in classify.dart. */ |
-.code .e { color: hsl( 0, 100%, 70%); } /* Error */ |
-.code .c { color: hsl(220, 20%, 65%); } /* Comment */ |
-.code .i { color: hsl(220, 20%, 20%); } /* Identifier */ |
-.code .k { color: hsl(220, 100%, 50%); } /* Keyword */ |
-.code .p { color: hsl(220, 20%, 50%); } /* Punctuation */ |
-.code .o { color: hsl(220, 40%, 50%); } /* Operator */ |
-.code .s { color: hsl( 40, 90%, 40%); } /* String */ |
-.code .n { color: hsl( 30, 70%, 50%); } /* Number */ |
-.code .t { color: hsl(180, 40%, 40%); } /* Type Name */ |
-.code .r { color: hsl(200, 100%, 50%); } /* Special Identifier */ |
-.code .a { color: hsl(220, 100%, 45%); } /* Arrow */ |
- |
-/* Interpolated expressions within strings. */ |
-.code .si { |
- background: hsl(40, 100%, 93%); |
-} |
- |
-/* Remove the background on strings themselves - this makes not |
- interpolated strings look much better - unsure about nesting...*/ |
-.code .s.si { background: rgba(255,255,255,0); } |
-.code .i.si { color: hsl(40, 30%, 30%); } |
-.code .p.si { color: hsl(40, 60%, 40%); } |
- |
- |
-.hiddenTextArea { |
- z-index: -1000; |
- position: absolute; |
- top: 0px; |
- left: 0px; |
- width: 0px; |
- height: 0px; |
- opacity: 0; |
-} |
- |
-.cursorDiv { |
- position: absolute; |
- width: 100%; |
- z-index: 10; |
- top: 0px; |
- left: 0px; |
-} |
- |
-.cursor { |
- background: black; |
- width: 1px; |
- opacity: .9; |
- position: absolute; |
-} |
- |
-/* TODO(jimhug): Play with prettier versions of this using canvas. */ |
-.selection { |
- position: absolute; |
- background: rgba(0,120,255, 0.25); |
-} |
- |
-.blink { |
- -webkit-animation-name: fade; |
- -webkit-animation-iteration-count: infinite; |
- -webkit-animation-direction: normal; |
- -webkit-animation-timing-function: linear; |
- -webkit-animation-duration: 1.0s; |
- /* This is reset on each move to keep cursor visible when moving. */ |
- -webkit-animation-delay: 300ms; |
-} |
- |
- |
-@-webkit-keyframes fade { |
- 0% { opacity: .9; } |
- 10% { opacity: 0; } |
- 50% { opacity: 0; } |
- 60% { opacity: .9; } |
- 100% { opacity: .9; } |
-} |