.mainbox {
  margin-left: auto;
  margin-right: auto;
  width: 760px; 
}
.world {
  display: block;
  width:     750px;
  margin-left: auto;
  margin-right: auto;
  height: auto;
}
.mush {
  /* white-space: pre; */
  font-family: Courier New, fixed, monospace;
  overflow:  auto;
  border:    2px solid black;
  padding:   1em;
  height:    300px;
  background-color: white;
}
.mush STRONG {
  color: #333333;
}
.mush STRONG SPAN {
  font-weight: normal;
}
.infobox {
  margin-bottom: 1em;
  margin-top: 1em;
}
.infobox .namebox {
}
.logout {
  position: relative;
  float: right;
  right: 5px;
}
.logout a {
  margin-left: 2em;
}
.prompt {
  display: none;
  font-size: 10pt;
  overflow:  auto;
  border:    2px solid black;
  padding:   0.5em;
  height:    20px;
}
.inbox {
  margin-top: 0.5em;
  padding: 0.5em;
  padding: 0.5em;
  padding-left: 1em;
  padding-right: 1em;
}