html {
  font-family: sans-serif;
}
body {
  margin-right: 200px
}

#nav-tabs {
  margin: 0;
  padding: 0;
  position: absolute;
  top: 0px;
  left: 0px;
  right: 0px;
  background-color: #eee;
  border-bottom: solid 1px black;
  font-size:  10pt;
  font-weight:  bold;
  vertical-align: bottom;
  line-height: 20px;
  height: 29px;
}
#nav-tabs li {
  padding: 0 10px;
  margin: 0;
  border-bottom-width: 0;
  display:inline-block;
  cursor: pointer;
  line-height: 29px;
}
#nav-tabs li:first-child {
  color: #666;
}
#nav-tabs li.active {
  background-color: #fff;
}

#nav-panes {
  position: absolute;
  top: 30px;
  left: 0px;
  right: 0px;
  bottom: 0px;
  scroll: auto;
  overflow: auto;
  background-color: #fff;
}

#nav-panes .pane {
  display: none;
}
#nav-panes .active {
  display: block;
}

.pane {
  padding: 10px;
}

#console {
  padding-left: 5px;
}
#console li {
  font-size: 10pt;
  font-family: monospace;
  white-space: nowrap;
  margin: 0;
  list-style: none;
}

#code > ol {
  font-size: 10pt;
  font-family: monospace;
  margin: 0;
  padding: 0;
  cursor: pointer;
}
#code ol ol {
  margin-left: 1em;
  padding-left: 1em;
  border-left: dashed 1px #ddd;
}
#code li {
  color: #000;
  font-weight: normal;
  list-style: none;
  line-height: 1.2em;
}
#code .type1 {
  color: #009;
}
#code .type2 {
  color: #909;
}