@charset "utf-8";

html, body {
  padding: 0;
  margin: 0;
}

body {
  background: #000;
}

nav, section {
  display: block;
}


/* TOP */
#top {
  padding-top: 5px;
  background: #DDD;
}

#tabbox {
  margin: 0 auto;
  padding: 0;
  padding-top: 20px;
  width: 90%;
}


#tabbox li {
  list-style-type: none;
  float: left;
  text-align: center;
  margin: 0 2px;
}

#tabbox li:last-child {
  float: right;
}


#tabbox li a {
  padding: 0 15px;
  padding-top: 4px;
  padding-bottom: 1px;
  height: 25px;
  display: block;
  color: black;
  text-decoration: none;
  font-size: large;

  background-color: rgb(210,210,210);
  border: 2px solid #666;
  border-bottom: none;
  -moz-border-radius-topright: 1em;
  -moz-border-radius-topleft: 1em;
  -webkit-border-top-right-radius: 1em;
  -webkit-border-top-left-radius: 1em;
}

#tabbox li a:hover {
  text-shadow: 1px 1px 1px #001;
  background-color: rgb(190,190,255);
}
#tabbox li:last-child a:hover {
  background-color: rgb(255,190,190);
}
#tabbox li a.selected,
#tabbox li a.selected:hover {
  text-shadow: 0 0 0 #000;
  background-color: #F2F2F2;
  position: relative;
  height: 27px;
  z-index: 10;
}

#tabbox li a:not(.selected) {
  padding-bottom: 2px;
}


/* UTILS */
.center {
  text-align: center;
}
.right {
  text-align: right;
}
.fleft {
  float: left;
}
.fright {
  float: right;
}
.clear {
  clear: both;
}


/* CONTENT */
#content {
  position: fixed;
  top: 57px;
  left: 0;
  bottom: 0;
  right: 0;
  background: #F2F2F2;
  border-top: 2px solid #666;
  overflow: auto;
}

select option {
  color: black;
}

div.copy {
  position: fixed;
  top: 1px;
  left: 3px;
  color: #CCC;
  font-size: small;
  font-family: Verdana, sans-serif;
}


div.text {
  margin: 0 auto;
  width: 80%;
  text-align: justify;
  max-width: 800px;
}

#overlay {
  display: none;
}

#overlay.overlay {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  z-index: 10;
  display: block;
}

#overlay div.panel,
#overlay div.mapanel {
  left: 100px;
  right: 100px;
  position: fixed;
  top: 100px;
  padding: 9px;
  bottom: 75px;
  background: #DDD;
  text-align:center;
  -moz-border-radius: 1em;
  -webkit-border-radius: 1em;
}

/* GENERAL */
h1, h2, h3 {
  text-align: center;
}

h2, .warn, .info {
  color: rgb(100, 0, 0);
}

h2 {
  text-shadow: 1px 1px 2px #000;
}

input[type="password"],
input[type="text"],
input[type="file"] {
  border: 1px solid #000;
  padding-left: 5px;
  -moz-border-radius: 1em;
  -webkit-border-radius: 1em;
}

a {
  text-decoration: none;
  color: rgb(0, 0, 100);
}
a:hover {
  text-decoration: underline;
}

p.indent {
  text-indent: 2em;
}

.warn, .info, .success {
  padding-left: 60px;
  padding-right: 5px;
  color: rgb(100,0,0);
  border: 1px solid;
}

p.success {
  background: url("/imgs/s_okay.png") no-repeat 15px 50%;
}

p.warn {
  background: url("/imgs/s_error.png") no-repeat 15px 50%;
}

p.info {
  background: url("/imgs/s_notice.png") no-repeat 15px 50%;
}

/* Colors for virtual machines */
tr.machine1 td:not(:first-child),
td.machine1, option.machine1 {
  background: rgb(205, 255, 205);
}
tr.machine2 td:not(:first-child),
td.machine2, option.machine2 {
  background: rgb(170, 255, 255);
}
tr.machine3 td:not(:first-child),
td.machine3, option.machine3{
  background: rgb(255, 210, 190);
}
tr.machine4 td:not(:first-child),
td.machine4, option.machine4 {
  background: rgb(150, 200, 255);
}
tr.machine5 td:not(:first-child),
td.machine5, option.machine5 {
  background: rgb(255, 200, 150);
}
tr.machine6 td:not(:first-child),
td.machine6, option.machine6 {
  background: rgb(210, 210, 210);
}