html, body {
  margin:0px;
  overflow:hidden;
}
.list {
  position:absolute;
  overflow: scroll;
  padding: 5px;
}
.list span.item {
  display: block;
  cursor: pointer;
}
.list span.item:hover {
  font-weight: bold;
}
#nav {
  position:absolute;
  top:0px;
  left:0px;
  right:0px;
  height:19px;
  border-bottom: 1px solid #9f9f9f;
  background-color: #cfcfcf;
  padding-left:5px;
  padding-right:5px;
  font-family: sans-serif;
  font-weight:bold;
}
#nav span {
  font-weight:normal;
  text-decoration:none;
  color: blue;
  font-size: 0.8em;
  cursor: pointer;
}
#packages {
  top:20px;
  left:0px;
  width: 240px;
  height:230px;
}
#classes {
  top:260px;
  left:0px;
  width: 240px;
  bottom:0px;
}
#inside {
  top:20px;
  left:250px;
  right:0px;
  bottom:20px;
}
#console {
  position:absolute;
  overflow:auto;
  height:230px;
  bottom:20px;
  left:250px;
  right:0px;
}
#input {
  position:absolute;
  top:0px;
  left:0px;
  width:100%;
  height:100%;
  padding:0px;
  margin:0px;
  padding-left: 2em;
  font-family: monospace;
  font-size: 8pt;
}
#prompt {
  color:blue;
  position:absolute;
  height:20px;
  bottom:0px;
  left:250px;
  right:2em;
  font-size: 8pt;
}

.selected {
  background-color: #80a0ff;
}
h1 {
  margin-top:0px;
  cursor:pointer;
}
h6 {
  padding:0px;
  margin:0px;
  margin-top:0.5em;
  font-size:1.3em;
  font-family:sans-serif;
}
.loading {
  text-decoration: blink;
  font-size: 4em;
  text-align: center;
}
div.package {
  margin-bottom: 1em;
}
div.class {
  margin-top: 1em;
  margin-bottom: 1em;
}
div.inpackage {
  margin-left: 2em;
}
div.members {
  margin-left: 2em;
}
div.comment {
  color: #3f7f5f;
  margin-top: 1em;
}
span.keyword {
  display: inline;
  color: #7f0055;
  font-weight: bold;
}
a.type, span.type {
  display: inline;
  color: #3f3fff;
  text-decoration:none;
}
a.type:hover {
  text-decoration:underline;
}
#inside > div, #inside > span {
  font-family: monospace;
}
#inherit {
  float:right;
}
.input {
  color:blue;
  border-bottom: 1px solid #808080;
  font-family: monospace;
  font-size: 8pt;
}
.output {
  color:black;
  border-bottom: 1px solid #808080;
  font-family: monospace;
  font-size: 8pt;
}
.error {
  color:red;
  padding-left: 20px;
  background-color: #ffffe0;
  font-family: sans-serif;
  border-bottom: 1px solid #808080;
  font-size: 8pt;
}