.decobox {
  background-color:#ffffe0;
  border:1px solid #c0c0c0;
  padding:8px;
}

.treestyle {
  padding:0px;
  margin:0px;
  margin-left:12px;
}

.codefont, .codefont * {
  font-family:courier;
}

.bordergraphic {
  border:1px solid black;
}