pnacl: remove target and related projects
[nit.git] / contrib / online_ide / www / css / jquery.terminal.css
diff --git a/contrib/online_ide/www/css/jquery.terminal.css b/contrib/online_ide/www/css/jquery.terminal.css
deleted file mode 100644 (file)
index 6db2df5..0000000
+++ /dev/null
@@ -1,189 +0,0 @@
-/*
- *       __ _____                     ________                              __
- *      / // _  /__ __ _____ ___ __ _/__  ___/__ ___ ______ __ __  __ ___  / /
- *  __ / // // // // // _  // _// // / / // _  // _//     // //  \/ // _ \/ /
- * /  / // // // // // ___// / / // / / // ___// / / / / // // /\  // // / /__
- * \___//____ \\___//____//_/ _\_  / /_//____//_/ /_/ /_//_//_/ /_/ \__\_\___/
- *           \/              /____/
- * http://terminal.jcubic.pl
- *
- * Copyright (c) 2011-2014 Jakub Jankiewicz <http://jcubic.pl>
- *
- * This file is part of jQuery Terminal.
- *
- * jQuery Terminal is free software; you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation; either version 2 of the License, or
- * (at your option) any later version.
- *
- * jQuery Terminal is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public License
- * along with Foobar; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
- *
- */
-.terminal .terminal-output .format, .cmd .format,
-.cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{
-    display: inline-block;
-}
-.cmd .clipboard {
-    position: absolute;
-    bottom: 0;
-    left: 0;
-    /*clip: rect(0,0,0,0);*/
-    /*
-    opacity: 0.01;
-    filter: alpha(opacity = 0.01);
-    filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01);
-    */
-    width: 5px;
-    /*
-    outline: none;
-    border: none;
-    background-color: black;
-    */
-}
-/*
-.cmd > .clipboard {
-    position: fixed;
-}
-*/
-.cmd input {
-    height: 1.3em;
-    width: 0.5em;
-    padding: 0;
-    border: none;
-}
-.terminal {
-    padding: 10px;
-    position: relative;
-    overflow: hidden;
-}
-.cmd {
-    padding: 0;
-    margin: 0;
-    height: 1.3em;
-    /*margin-top: 3px; */
-}
-.cmd .cursor.blink {
-    -webkit-animation: blink 1s infinite steps(1, start);
-       -moz-animation: blink 1s infinite steps(1, start);
-        -ms-animation: blink 1s infinite steps(1, start);
-            animation: blink 1s infinite steps(1, start);
-}
-@keyframes blink {
-  0%, 100% {
-        background-color: #000;
-        color: #aaa;
-  }
-  50% {
-        background-color: #bbb; /* not #aaa because it's seem there is Google Chrome bug */
-        color: #000;
-  }
-}
-@-webkit-keyframes blink {
-  0%, 100% {
-        background-color: #000;
-        color: #aaa;
-  }
-  50% {
-        background-color: #bbb;
-        color: #000;
-  }
-}
-@-ms-keyframes blink {
-  0%, 100% {
-        background-color: #000;
-        color: #aaa;
-  }
-  50% {
-        background-color: #bbb;
-        color: #000;
-  }
-}
-@-moz-keyframes blink {
-  0%, 100% {
-        background-color: #000;
-        color: #aaa;
-  }
-  50% {
-        background-color: #bbb;
-        color: #000;
-  }
-}
-.terminal .terminal-output div div, .cmd .prompt {
-    display: block;
-    line-height: 14px;
-    height: auto;
-}
-.cmd .prompt {
-    float: left;
-}
-.terminal, .cmd {
-    font-family: FreeMono, monospace;
-    color: white;
-    background-color: #000;
-    font-size: 12px;
-    line-height: 14px;
-}
-/* Android hack */
-@media screen and (max-device-width: 480px) {
-    .terminal, .cmd {
-        font-family: monospace;
-    }
-}
-.terminal-output > div {
-    /*padding-top: 3px;*/
-    min-height: 14px;
-}
-.terminal .terminal-output div span {
-    display: inline-block;
-}
-.cmd span {
-    float: left;
-    /*display: inline-block; */
-}
-.terminal .inverted, .cmd .inverted, .cmd .cursor.blink {
-    background-color: #aaa;
-    color: #000;
-}
-.terminal .terminal-output div div::-moz-selection,
-.terminal .terminal-output div span::-moz-selection,
-.terminal .terminal-output div div a::-moz-selection {
-    background-color: #aaa;
-    color: #000;
-}
-.terminal .terminal-output div div::selection,
-.terminal .terminal-output div div a::selection,
-.terminal .terminal-output div span::selection,
-.cmd > span::selection,
-.cmd .prompt span::selection {
-    background-color: #aaa;
-    color: #000;
-}
-.terminal .terminal-output div.error, .terminal .terminal-output div.error div {
-    color: red;
-}
-.tilda {
-    position: fixed;
-    top: 0;
-    left: 0;
-    width: 100%;
-    z-index: 1100;
-}
-.clear {
-    clear: both;
-}
-.terminal a {
-    color: #0F60FF;
-}
-.terminal a:hover {
-    color: red;
-}
-textarea.clipboard {
-       visibility: hidden;
-}