body {
  background-color: #ececec;
}

.container {
  padding-top: 13px;
  width: 80%;
  height: 85%;
}

.renderedAST {
   height: 100%;
   overflow: hidden;
}

a {
  margin-left: 1em;
}

.abstract-syntaxtree-iframe {
  resize: vertical;
  overflow:auto;
}

.highlight {
  background-color: gold;
}

#mast {
  width: 100%;
  height: 100%;
  min-height: 500px;
  left: 0;
  z-index: 999;
}