#result-wrapper {
  margin-top: 2.4em;
  /*margin-right: 30%;*/
  /*float: right;*/
  /*width: 30%;*/
  /*height: 20%;*/
  /*border: #525D76 solid 1px;*/
  text-align: center;
  font-size: 1em;
}

#resultBack {
  border: #525D76 solid 1px;
  width: 100%;
  height: 15em;
  line-height: 1.3em;
  margin: 0 auto;
  margin-top: 1.5em;
  text-align: left;
}

textarea {
  resize: none;
}

#resultState {
  width: 70%;
  margin: 0 auto;
}

#resultState ul li {
  font-size: 1.2em;
  float: left;
  margin-top: 1em;
  margin-right: 3em;
}

.core {
  margin-top: 1em;
  font-size: 1em;
}

.control-code {
  margin-top: 1.5em;
  /*font-size: 1em;*/
}

.control-code-invoke-inline {
  font-size: 0.8em;
  padding-left: 1em;
  line-height: 1.4em;
  margin-top: 0.5em;
  color: #525D76;
}

.control-code-invoke-inline > .commit {
  border-radius: 1em;
}