goast.css

.btn {
  background-color: rgb(92, 184, 92);
  border-bottom-color: rgb(76, 174, 76);
  border-bottom-left-radius: 3px;
  border-bottom-right-radius: 3px;
  border-bottom-width: 1px;
  border-left-color: rgb(76, 174, 76);
  border-left-width: 1px;
  border-right-color: rgb(76, 174, 76);
  border-top-color: rgb(76, 174, 76);
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
  border-top-style: solid;
  border-top-width: 1px;
  box-sizing: border-box;
  color: rgb(255, 255, 255);
  cursor: pointer;
  display: inline-block;
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
  font-size: 12px;
  font-weight: normal;
  height: 22px;
  line-height: 18px;
  margin-bottom: 0px;
  margin-right: 8px;
  outline-color: rgb(255, 255, 255);
  outline-style: none;
  outline-width: 0px;
  padding-bottom: 1px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 1px;
  text-align: center;
  vertical-align: middle;
  white-space: nowrap;
  width: 24px;
}

#main {
  width: 80%;
  margin-left: 10%;
  margin-right: 10%;
  border-right: 1px solid #eee;
  border-left: 1px solid #eee;
}

.code {
  padding: 0;
  border-left: none;
  border-right: none;
}

h1, h2, h3, h4 {
  font-family: 'Raleway',  sans-serif;
}

.btn-collapse-all{
  color: white;
  border-radius: 4px;
  text-shadow: 0 1px 1px rgba(0, 0, 0, 0.2);
  background: rgb(66,  184,  221);
}

.source {
  padding: 10px;
  border-right: 1xp solid #333;
}

.ast {
  padding: 10px;
}

#tree-root {
  margin-top: 10px
}

#code {
  width:100%;

  min-height:20%;
  height:50%;
}

.btn-expand-all{
  color: white;
  border-radius: 4px;
  text-shadow: 0 1px 1px rgba(0, 0, 0, 0.2);
  background: rgb(28,  184,  65);
}

.tree-node {
    background: #f8faff;
    border: 1px solid #dae2ea;
    color: #7c9eb2;
    padding: 10px 10px;
}

.tree-node:hover {
    color: #438eb9;
    background: #f4f6f7;
    border-color: #dce2e8;
}

.hidden {
  display: none!important;
  visibility: hidden!important;
}

.dump {
  font-size:10px;
  overflow-y:auto;
  min-height:20%;
  height:50%;

}