.ace_editor {
   font-family: 'Monaco', 'Menlo', 'Droid Sans Mono', 'Courier New', monospace;
   font-size: 12px;
}

.ace_editor .ace_gutter { 
    width: 25px !important;
    display: block;
    float: left;
    text-align: right; 
    padding: 0 3px 0 0; 
    margin-right: 3px;
}

.ace_line { clear: both; }

*.ace_gutter-cell {
  -moz-user-select: -moz-none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}