static/jquery.terminal.css

   1 .terminal .clipboard {
   2     position: absolute;
   3     bottom: 0;
   4     left: 0;
   5     opacity: 0.01;
   6     filter: alpha(opacity = 0.01);
   7     filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01);
   8     width: 2px;
   9 }
  10 .cmd > .clipboard {
  11     position: fixed;
  12 }
  13 .terminal {
  14     padding: 10px;
  15     position: relative;
  16     overflow: hidden;
  17 }
  18 .cmd {
  19     padding: 0;
  20     margin: 0;
  21     height: 1.3em;
  22 }
  23 .terminal .terminal-output div {
  24     display: block;
  25 }
  26 .terminal, .terminal .terminal-output, .terminal .terminal-output div,
  27 .terminal .terminal-output div div, .cmd, .terminal .cmd span, .terminal .cmd div {
  28     font-family: monospace;
  29     color: #aaa;
  30     background-color: #000;
  31     font-size: 12px;
  32 }
  33 /* This works only in Safari and Google Chrome */
  34 @media screen and (-webkit-min-device-pixel-ratio:0) {
  35     .terminal, .terminal .terminal-output, .terminal .terminal-output div,
  36     .terminal .terminal-output div div, .cmd, .terminal .cmd span, .terminal .cmd div {
  37         font-weight: bold;
  38     }
  39 }
  40 .terminal .cmd span {
  41     float: left;
  42 }
  43 .terminal .cmd span.inverted {
  44     background-color: #aaa;
  45     color: #000;
  46 }
  47 .terminal::-moz-selection {
  48     background: rgba(170, 170, 170, 0.99);
  49     color: #000;
  50     text-shadow: none;
  51 }
  52 .terminal::-webkit-selection {
  53     background: rgba(170, 170, 170, 0.99);
  54     color: #000;
  55     text-shadow: none;
  56 }
  57 .terminal::selection {
  58     background: rgba(170, 170, 170, 0.99);
  59     color: #000;
  60     text-shadow: none;
  61 }
  62 /* chrome hack */
  63 @media screen and (-webkit-min-device-pixel-ratio:0) {
  64     ::selection {
  65         background: rgba(170, 170, 170, 0.99);
  66         color: #000;
  67         text-shadow: none;
  68     }
  69 }
  70 .terminal .terminal-output div.error, .terminal .terminal-output div.error div {
  71     color: red;
  72 }
  73 .tilda {
  74     position: fixed;
  75     top: 0;
  76     left: 0;
  77     width: 100%;
  78     z-index: 1100;
  79 }
  80 .clear {
  81     clear: both;
  82 }