diagram-js-code-editor/assets/diagram-js-code-editor.css

@import 'bootstrap.min.css';

.djs-editor {
   position: absolute;
   top: 90px;
   list-style-type: none;
   right: 20px;
   background-color: rgba(255, 255, 255, 0.9);
   color: rgb(0, 0, 0);
   border: solid 1px #CCC;
   border-radius: 2px;
   box-sizing: border-box;
   user-select: none;
   -moz-user-select: none;
   -ms-user-select: none;
   -webkit-user-select: none;
 }

 .djs-editor:not(.enabled) {
   color: #CCC;
   pointer-events: none;
 }

 .djs-editor:not(.open) {
   overflow: hidden;
 }

 .djs-editor:not(.open) .toolbar{
     display: none !important;
 }

 .djs-editor.open .toolbar {
   display: block;
 }

 .djs-editor:not(.open) .ide {
   display: none !important;
 }

 .djs-editor.open .ide {
   display: block;
 }

 .toolbar {
     /*position: relative;*/
     /*z-index: 1;*/
     /*padding-left: 40px;*/
 }

 #run_btn {
   font-family: "Material Icons", sans-serif;
 }

 #exit_btn {
   font-family: "Material Icons", sans-serif;
 }

  #exit_btn:before {
   content: "close";
 }

 #run_btn:before {
   content: "build";
 }

 #run_btn.passing {
   color: green;
 }

 #run_btn.failing {
   color: red;
 }

 #run_btn.unknown {
   color: rgba(207, 168, 10, 0.842);
 }

 .djs-editor .ide {
   /*position: relative;*/
   /*z-index: 0;*/
   display: none;
   width: 100%;
   min-width: 420px;
   height: 280px;
 }

 .djs-editor:not(.open) .toggle {
   width: 46px;
   height: 46px;
   line-height: 46px;
   content: "dvr" !important;
   text-align: center;
 }

 .djs-editor.open .toggle:before {
   font-family: "Material Icons", sans-serif;
   content: "close" !important;
   font-size: 24px;
 }

 .djs-editor:not(.open) .toggle:before {
   font-family: "Material Icons", sans-serif;
   content: "dvr" !important;
   font-size: 24px;
 }

 .djs-editor .toggle:before {
   content: attr(title);
 }

 .djs-editor.open .toggle {
   position: absolute;
   right: 0;
   padding: 6px;
   /*z-index: 1;*/
 }

 .errorMarker {
  position:absolute;
  background:rgba(100,200,100,0.5);
  z-index:20
}