@import "bootstrap-sprockets";
@import "bootstrap";
@import "bootstrap/theme";

.ace-editor {
  width: 100%;
  height: 400px;
  border: 1px solid #ccc;
  border-radius: 3px;

  .has-error>& {
    border-color: #a94442;
  }
}

@import "bootstrap-sprockets";
@import "bootstrap";
@import "bootstrap/theme";

header.navbar {
  border-radius: 0;
}

.jumbotron {
  margin-top: -20px;
}

.ace-editor {
  width: 100%;
  height: 400px;
  border: 1px solid #ccc;
  border-radius: 3px;

  .has-error>& {
    border-color: #a94442;
  }
}

Remove navbar border-radius and bottom margin
Remove navbar border-radius and bottom margin
