.CodeMirror {
  border: 1px solid #eee;
  margin: 1px;
  padding: 1px;
  background-color: #FFE;
}

.cpal-code > .CodeMirror  {
  height: 100%;
}

.minplus-code > .CodeMirror  {
  height: 100%;
}

.fusion-button.button-5 {
    background: #1a80b6 none repeat scroll 0 0;
}
.fusion-button.button-5 {
    border-color: rgba(255, 255, 255, 0.7);
    border-width: 0;
    color: rgba(255, 255, 255, 0.7);
}

