div, pre, span {
  margin:0; padding:0;
  vertical-align:baseline;
  font-family: "DejaVu Sans Mono", "Everson Mono", FreeMono,
               "Lucida Console", monospace;
}

#vt100 a { 
  text-decoration:  none;
  color:            inherit;
}

#vt100 a:hover { 
  text-decoration:  underline;
}

#vt100 #reconnect {
  position:         absolute;
  z-index:          2;
}

#vt100 #cursize {
  background:       #EEEEEE;
  border:           1px solid black;
  font-family:      sans-serif;
  font-size:        large;
  font-weight:      bold;
  padding:          1ex;
  position:         absolute;
  z-index:          2;
}

#vt100 pre { 
  margin:           0px;
}

#vt100 pre pre {
  overflow:         hidden;
}

#vt100 #scrollable {
  overflow-x:       hidden;
  overflow-y:       scroll;
  position:         relative;
  padding:          0;
}

#vt100 #console, #vt100 #alt_console, #vt100 #cursor, #vt100 #lineheight { 
  font-family: "DejaVu Sans Mono", "Everson Mono", FreeMono,
               "Lucida Console", monospace;
}

#vt100 #lineheight { 
  position:         absolute;
  visibility:       hidden;
}

#vt100 #cursor {
  position:         absolute;
  left:             0px;
  top:              0px;
  overflow:         hidden;
  z-index:          1;
}

#vt100 #cursor.bright { 
  background-color: #e60000;
  color:            white;
}

#vt100 #cursor.dim {
  visibility:       hidden;
}

#vt100 #cursor.inactive {
  border:           1px solid #e60000;
  margin:           -1px;
}

#vt100 #padding { 
  visibility:       hidden;
  width:            1px;
  height:           0px;
  overflow:         hidden;
}

#vt100 .hidden {
  position:         absolute;
  top:              -10000px;
  left:             -10000px;
  width:            0px;
  height:           0px;
}

#vt100 #menu { 
  overflow:         visible;
  position:         absolute;
  z-index:          3;
}

#vt100 #menu .popup {
  background-color: #EEEEEE;
  border:           1px solid black;
  border-collapse:  collapse;
  font-family:      sans-serif;
  position:         absolute;
}

#vt100 #menu .popup td {
  border: 1px solid black;
  border-collapse:  collapse;
  vertical-align: top;
  padding: 0.2em 0 0 0;
}

#vt100 #menu .popup .other {
  border: 1px solid black;
  border-collapse:  collapse;
}

#vt100 #menu .popup ul { 
  list-style-type:  none;
  padding:          0px;
  margin:           0px;
  min-width:        10em;
}

#vt100 #menu .popup li { 
  padding:          0.12em 0.6em 0.12em 0.6em;
  white-space: nowrap;
}

#vt100 #menu .popup li.hover {
  background-color: #444444;
  color:            white;
}

#vt100 #menu .popup li.disabled {
  color:            #AAAAAA;
}

#vt100 #menu .popup hr { 
  margin:           0.25em 0px 0.25em 0px;
}

@media print {
  #vt100 .scrollback {
    display:        none;
  }

  #vt100 #reconnect, #vt100 #cursor, #vt100 #menu { 
    visibility:     hidden;
  }

  #vt100 #scrollable { 
    overflow:       hidden;
  }

  #vt100 #console, #vt100 #alt_console { 
    overflow:       hidden;
    width:          1000000ex;
  }
}


/* just a place-marker used by VT100.js (though could have a style applied) */
#vt100 .invert   {  }

#vt100 .ansi0   { color: #000000; }
#vt100 .ansi1   { color: #e80000; }
#vt100 .ansi2   { color: #00e800; }
#vt100 .ansi3   { color: #e8e800; }
#vt100 .ansi4   { color: #0000e8; }
#vt100 .ansi5   { color: #e800e8; }
#vt100 .ansi6   { color: #00e8e8; }
#vt100 .ansi7   { color: #eeeeee; }

/* placeholder for locally defined theme */
#vt100 .ansi9   { color: #000000; }

#vt100 .bgAnsi0   { background-color: #000000; }
#vt100 .bgAnsi1   { background-color: #ee0000; }
#vt100 .bgAnsi2   { background-color: #00e800; }
#vt100 .bgAnsi3   { background-color: #e8e800; }
#vt100 .bgAnsi4   { background-color: #0000e8; }
#vt100 .bgAnsi5   { background-color: #ee00e8; }
#vt100 .bgAnsi6   { background-color: #00e8e8; }
#vt100 .bgAnsi7   { background-color: #fefefe; }

/* placeholder for locally defined theme */
#vt100 .bgAnsi9   { background-color: #fefefe; }