| 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; }
|
| -}
|
|
|