/* these are all the styles for the demo editors.*/
.cm-keyword{ 
 color: #082887 !important;
 font-weight: bold;
}
.cm-jigword{
   color: #D2691E; 
  font-weight: bold;   
  font-style: normal; 
  -webkit-text-stroke: 0.8px #D2691E; 
  
}

.cm-type{ 
  color: #556B2F; 
  font-style: italic; 
}
.cm-specialkeyword{
  color: #aaaaff;
  font-weight: bold;
  -webkit-text-stroke: 0.8px #aaaaff;
}
.cm-bool{
  color: #d19e00 !important;
  font-weight: bold;
}