contrib/online_ide/www/css/jquery.terminal.css

   1 /*
   2  *       __ _____                     ________                              __
   3  *      / // _  /__ __ _____ ___ __ _/__  ___/__ ___ ______ __ __  __ ___  / /
   4  *  __ / // // // // // _  // _// // / / // _  // _//     // //  \/ // _ \/ /
   5  * /  / // // // // // ___// / / // / / // ___// / / / / // // /\  // // / /__
   6  * \___//____ \\___//____//_/ _\_  / /_//____//_/ /_/ /_//_//_/ /_/ \__\_\___/
   7  *           \/              /____/
   8  * http://terminal.jcubic.pl
   9  *
  10  * Copyright (c) 2011-2014 Jakub Jankiewicz <http://jcubic.pl>
  11  *
  12  * This file is part of jQuery Terminal.
  13  *
  14  * jQuery Terminal is free software; you can redistribute it and/or modify
  15  * it under the terms of the GNU Lesser General Public License as published by
  16  * the Free Software Foundation; either version 2 of the License, or
  17  * (at your option) any later version.
  18  *
  19  * jQuery Terminal is distributed in the hope that it will be useful,
  20  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  21  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  22  * GNU General Public License for more details.
  23  *
  24  * You should have received a copy of the GNU Lesser General Public License
  25  * along with Foobar; if not, write to the Free Software
  26  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  27  *
  28  */
  29 .terminal .terminal-output .format, .cmd .format,
  30 .cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{
  31     display: inline-block;
  32 }
  33 .cmd .clipboard {
  34     position: absolute;
  35     bottom: 0;
  36     left: 0;
  37     /*clip: rect(0,0,0,0);*/
  38     /*
  39     opacity: 0.01;
  40     filter: alpha(opacity = 0.01);
  41     filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01);
  42     */
  43     width: 5px;
  44     /*
  45     outline: none;
  46     border: none;
  47     background-color: black;
  48     */
  49 }
  50 /*
  51 .cmd > .clipboard {
  52     position: fixed;
  53 }
  54 */
  55 .cmd input {
  56     height: 1.3em;
  57     width: 0.5em;
  58     padding: 0;
  59     border: none;
  60 }
  61 .terminal {
  62     padding: 10px;
  63     position: relative;
  64     overflow: hidden;
  65 }
  66 .cmd {
  67     padding: 0;
  68     margin: 0;
  69     height: 1.3em;
  70     /*margin-top: 3px; */
  71 }
  72 .cmd .cursor.blink {
  73     -webkit-animation: blink 1s infinite steps(1, start);
  74        -moz-animation: blink 1s infinite steps(1, start);
  75         -ms-animation: blink 1s infinite steps(1, start);
  76             animation: blink 1s infinite steps(1, start);
  77 }
  78 @keyframes blink {
  79   0%, 100% {
  80         background-color: #000;
  81         color: #aaa;
  82   }
  83   50% {
  84         background-color: #bbb; /* not #aaa because it's seem there is Google Chrome bug */
  85         color: #000;
  86   }
  87 }
  88 @-webkit-keyframes blink {
  89   0%, 100% {
  90         background-color: #000;
  91         color: #aaa;
  92   }
  93   50% {
  94         background-color: #bbb;
  95         color: #000;
  96   }
  97 }
  98 @-ms-keyframes blink {
  99   0%, 100% {
 100         background-color: #000;
 101         color: #aaa;
 102   }
 103   50% {
 104         background-color: #bbb;
 105         color: #000;
 106   }
 107 }
 108 @-moz-keyframes blink {
 109   0%, 100% {
 110         background-color: #000;
 111         color: #aaa;
 112   }
 113   50% {
 114         background-color: #bbb;
 115         color: #000;
 116   }
 117 }
 118 .terminal .terminal-output div div, .cmd .prompt {
 119     display: block;
 120     line-height: 14px;
 121     height: auto;
 122 }
 123 .cmd .prompt {
 124     float: left;
 125 }
 126 .terminal, .cmd {
 127     font-family: FreeMono, monospace;
 128     color: white;
 129     background-color: #000;
 130     font-size: 12px;
 131     line-height: 14px;
 132 }
 133 /* Android hack */
 134 @media screen and (max-device-width: 480px) {
 135     .terminal, .cmd {
 136         font-family: monospace;
 137     }
 138 }
 139 .terminal-output > div {
 140     /*padding-top: 3px;*/
 141     min-height: 14px;
 142 }
 143 .terminal .terminal-output div span {
 144     display: inline-block;
 145 }
 146 .cmd span {
 147     float: left;
 148     /*display: inline-block; */
 149 }
 150 .terminal .inverted, .cmd .inverted, .cmd .cursor.blink {
 151     background-color: #aaa;
 152     color: #000;
 153 }
 154 .terminal .terminal-output div div::-moz-selection,
 155 .terminal .terminal-output div span::-moz-selection,
 156 .terminal .terminal-output div div a::-moz-selection {
 157     background-color: #aaa;
 158     color: #000;
 159 }
 160 .terminal .terminal-output div div::selection,
 161 .terminal .terminal-output div div a::selection,
 162 .terminal .terminal-output div span::selection,
 163 .cmd > span::selection,
 164 .cmd .prompt span::selection {
 165     background-color: #aaa;
 166     color: #000;
 167 }
 168 .terminal .terminal-output div.error, .terminal .terminal-output div.error div {
 169     color: red;
 170 }
 171 .tilda {
 172     position: fixed;
 173     top: 0;
 174     left: 0;
 175     width: 100%;
 176     z-index: 1100;
 177 }
 178 .clear {
 179     clear: both;
 180 }
 181 .terminal a {
 182     color: #0F60FF;
 183 }
 184 .terminal a:hover {
 185     color: red;
 186 }
 187 textarea.clipboard {
 188         visibility: hidden;
 189 }