.ace_editor {
    font-family: "Monaco", "Menlo", "Ubuntu Mono", "Droid Sans Mono", "Consolas", monospace !important;
    font-size: 12px !important;
    font-weight: 400 !important;
    letter-spacing: 0 !important;
    min-height: 1400px;
    height:100%;
    min-width: 600px;
    width:100%;
    
}

.ace_editor * {
    font-family: "Monaco", "Menlo", "Ubuntu Mono", "Droid Sans Mono", "Consolas", monospace !important;
    font-size: 12px !important;
    font-weight: 400 !important;
    letter-spacing: 0 !important;
}

.readonly-highlight{
    background-color: red;
    opacity: 0.2;
    position: absolute;
}

.gwt-MenuBarPopup {
	z-index: 1000000;
}

/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  z-index: 1000000;
}
.gwt-DialogBox .dialogTopCenter {
  z-index: 1000000;
  background: white;
  height: 25px !important;
}
.gwt-DialogBox .dialogMiddleCenter {
  z-index: 1000001 !important;
  background: white !important;
  height: 100%;
  width: 100%;
}
.gwt-DialogBox .dialogBottomRight {
   background: url(/ModelEditorBase/gwt/clean/images/corner.png) no-repeat -5px -10px;
   -background: url(/ModelEditorBase/gwt/clean/images/images/corner_ie6.png) no-repeat -5px -10px;
}