/**
 * Specific styles for ACE editor used in the Portal
 */
/* line 8, scss/ace.scss */
.ace_editor div {
  margin: 0;
}