apps/workbench/public/webshell/styles.css

   1 #vt100 a {
   2   text-decoration:      none;
   3   color:                inherit;
   4 }
   5
   6 #vt100 a:hover {
   7   text-decoration:      underline;
   8 }
   9
  10 #vt100 #reconnect {
  11   position:             absolute;
  12   z-index:              2;
  13 }
  14
  15 #vt100 #reconnect input {
  16   padding:              1ex;
  17   font-weight:          bold;
  18   font-size:            x-large;
  19 }
  20
  21 #vt100 #cursize {
  22   background:           #EEEEEE;
  23   border:               1px solid black;
  24   font-family:          sans-serif;
  25   font-size:            large;
  26   font-weight:          bold;
  27   padding:              1ex;
  28   position:             absolute;
  29   z-index:              2;
  30 }
  31
  32 #vt100 pre {
  33   margin:               0px;
  34 }
  35
  36 #vt100 pre pre {
  37   overflow:             hidden;
  38 }
  39
  40 #vt100 #scrollable {
  41   overflow-x:           hidden;
  42   overflow-y:           scroll;
  43   position:             relative;
  44   padding:              1px;
  45 }
  46
  47 #vt100 #console, #vt100 #alt_console, #vt100 #cursor, #vt100 #lineheight, #vt100 .hidden pre {
  48   font-family:          "DejaVu Sans Mono", "Everson Mono", FreeMono, "Andale Mono", monospace;
  49 }
  50
  51 #vt100 #lineheight {
  52   position:             absolute;
  53   visibility:           hidden;
  54 }
  55
  56 #vt100 #cursor {
  57   position:             absolute;
  58   left:                 0px;
  59   top:                  0px;
  60   overflow:             hidden;
  61   z-index:              1;
  62 }
  63
  64 #vt100 #cursor.bright {
  65   background-color:     black;
  66   color:                white;
  67 }
  68
  69 #vt100 #cursor.dim {
  70   visibility:           hidden;
  71 }
  72
  73 #vt100 #cursor.inactive {
  74   border:               1px solid;
  75   margin:               -1px;
  76 }
  77
  78 #vt100 #padding {
  79   visibility:           hidden;
  80   width:                1px;
  81   height:               0px;
  82   overflow:             hidden;
  83 }
  84
  85 #vt100 .hidden {
  86   position:             absolute;
  87   top:                  -10000px;
  88   left:                 -10000px;
  89   width:                0px;
  90   height:               0px;
  91 }
  92
  93 #vt100 #menu {
  94   overflow:             visible;
  95   position:             absolute;
  96   z-index:              3;
  97 }
  98
  99 #vt100 #menu .popup {
 100   background-color:     #EEEEEE;
 101   border:               1px solid black;
 102   font-family:          sans-serif;
 103   position:             absolute;
 104 }
 105
 106 #vt100 #menu .popup ul {
 107   list-style-type:      none;
 108   padding:              0px;
 109   margin:               0px;
 110   min-width:            10em;
 111 }
 112
 113 #vt100 #menu .popup li {
 114   padding:              3px 0.5ex 3px 0.5ex;
 115 }
 116
 117 #vt100 #menu .popup li.hover {
 118   background-color:     #444444;
 119   color:                white;
 120 }
 121
 122 #vt100 #menu .popup li.disabled {
 123   color:                #AAAAAA;
 124 }
 125
 126 #vt100 #menu .popup hr {
 127   margin:               0.5ex 0px 0.5ex 0px;
 128 }
 129
 130 #vt100 #menu img {
 131   margin-right:         0.5ex;
 132   width:                1ex;
 133   height:               1ex;
 134 }
 135
 136 #vt100 #scrollable.inverted { color:            #ffffff;
 137                               background-color: #000000; }
 138
 139 #vt100 #kbd_button {
 140   float:                left;
 141   position:             fixed;
 142   z-index:              0;
 143   visibility:           hidden;
 144 }
 145
 146 #vt100 #keyboard {
 147   z-index:              3;
 148   position:             absolute;
 149 }
 150
 151 #vt100 #keyboard .box {
 152   font-family:          sans-serif;
 153   background-color:     #cccccc;
 154   padding:              .8em;
 155   float:                left;
 156   position:             absolute;
 157   border-radius:        10px;
 158   -moz-border-radius:   10px;
 159   box-shadow:           4px 4px 6px #222222;
 160   -webkit-box-shadow:   4px 4px 6px #222222;
 161   /* Don't set the -moz-box-shadow. It doesn't properly scale when CSS
 162    * transforms are in effect. Once Firefox supports box-shadow, it should
 163    * automatically do the right thing. Until then, leave shadows disabled
 164    * for Firefox.
 165    */
 166   opacity:              0.85;
 167   -moz-opacity:         0.85;
 168   filter:               alpha(opacity=85);
 169 }
 170
 171 #vt100 #keyboard .box * {
 172   vertical-align:       top;
 173   display:              inline-block;
 174 }
 175
 176 #vt100 #keyboard b, #vt100 #keyboard i, #vt100 #keyboard s, #vt100 #keyboard u {
 177   font-style:           normal;
 178   font-weight:          bold;
 179   border-radius:        5px;
 180   -moz-border-radius:   5px;
 181   background-color:     #555555;
 182   color:                #eeeeee;
 183   box-shadow:           2px 2px 3px #222222;
 184   -webkit-box-shadow:   2px 2px 3px #222222;
 185   padding:              4px;
 186   margin:               2px;
 187   height:               2ex;
 188   display:              inline-block;
 189   text-align:           center;
 190   text-decoration:      none;
 191 }
 192
 193 #vt100 #keyboard b, #vt100 #keyboard s {
 194   width:                2ex;
 195 }
 196
 197 #vt100 #keyboard u, #vt100 #keyboard s {
 198   visibility:           hidden;
 199 }
 200
 201 #vt100 #keyboard .shifted {
 202   display:              none;
 203 }
 204
 205 #vt100 #keyboard .selected {
 206   color:                #888888;
 207   background-color:     #eeeeee;
 208   box-shadow:           0px 0px 3px #222222;
 209   -webkit-box-shadow:   0px 0px 3px #222222;
 210   position:             relative;
 211   top:                  1px;
 212   left:                 1px;
 213 }
 214
 215 [if DEFINES_COLORS]
 216 /* IE cannot properly handle "inherit" properties. So, the monochrome.css/
 217  * color.css style sheets cannot work, if we define colors in styles.css.
 218  */
 219 [else DEFINES_COLORS]
 220 #vt100 .ansi0               {                            }
 221 #vt100 .ansi1               { color:            #cd0000; }
 222 #vt100 .ansi2               { color:            #00cd00; }
 223 #vt100 .ansi3               { color:            #cdcd00; }
 224 #vt100 .ansi4               { color:            #0000ee; }
 225 #vt100 .ansi5               { color:            #cd00cd; }
 226 #vt100 .ansi6               { color:            #00cdcd; }
 227 #vt100 .ansi7               { color:            #e5e5e5; }
 228 #vt100 .ansi8               { color:            #7f7f7f; }
 229 #vt100 .ansi9               { color:            #ff0000; }
 230 #vt100 .ansi10              { color:            #00ff00; }
 231 #vt100 .ansi11              { color:            #e8e800; }
 232 #vt100 .ansi12              { color:            #5c5cff; }
 233 #vt100 .ansi13              { color:            #ff00ff; }
 234 #vt100 .ansi14              { color:            #00ffff; }
 235 #vt100 .ansi15              { color:            #ffffff; }
 236
 237 #vt100 .bgAnsi0             { background-color: #000000; }
 238 #vt100 .bgAnsi1             { background-color: #cd0000; }
 239 #vt100 .bgAnsi2             { background-color: #00cd00; }
 240 #vt100 .bgAnsi3             { background-color: #cdcd00; }
 241 #vt100 .bgAnsi4             { background-color: #0000ee; }
 242 #vt100 .bgAnsi5             { background-color: #cd00cd; }
 243 #vt100 .bgAnsi6             { background-color: #00cdcd; }
 244 #vt100 .bgAnsi7             { background-color: #e5e5e5; }
 245 #vt100 .bgAnsi8             { background-color: #7f7f7f; }
 246 #vt100 .bgAnsi9             { background-color: #ff0000; }
 247 #vt100 .bgAnsi10            { background-color: #00ff00; }
 248 #vt100 .bgAnsi11            { background-color: #e8e800; }
 249 #vt100 .bgAnsi12            { background-color: #5c5cff; }
 250 #vt100 .bgAnsi13            { background-color: #ff00ff; }
 251 #vt100 .bgAnsi14            { background-color: #00ffff; }
 252 #vt100 .bgAnsi15            {                            }
 253 [endif DEFINES_COLORS]
 254
 255 @media print {
 256   #vt100 .scrollback {
 257     display:            none;
 258   }
 259
 260   #vt100 #reconnect, #vt100 #cursor, #vt100 #menu, #vt100 #kbd_button, #vt100 #keyboard {
 261     visibility:         hidden;
 262   }
 263
 264   #vt100 #scrollable {
 265     overflow:           hidden;
 266   }
 267
 268   #vt100 #console, #vt100 #alt_console {
 269     overflow:           hidden;
 270     width:              1000000ex;
 271   }
 272 }