services/workbench2/public/webshell/styles.css

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