#sourceFooter {
  margin-top: 0;
  background: none;
  margin-bottom: 0;
  padding-right: 0;
  padding-bottom: 0;
}

#sourceEditor {
  height: 400px;
  width: 900px;
  overflow:hidden;
  padding-bottom: 20px;
  border: 1px solid #A0A0A0;
}

#saveSourceDoc {
  float:right;
  margin-right: 10px;
  margin-top: 11px;
  margin-right: 22px;
  opacity: 0.3;
}

#saveSourceDoc:hover {
  opacity: 0.8;
  cursor: pointer;
}

#sourceDiv {
  margin-top: -40px;
  padding: 20px 20px 20px 20px;
  min-height: 400px;
}

.sourceBox {
}