Browse Source

Remove border radius on ACE editor

pull/6/head
Menci 8 years ago
parent
commit
556b292770
  1. 4
      views/problem.ejs

4
views/problem.ejs

@ -18,6 +18,10 @@ if (contest) {
width: 0px;
background: transparent;
}
div[class*=ace_br] {
border-radius: 0 !important;
}
</style>
<script src="/libs/ace/ace.js"></script>
<div class="ui center aligned grid">

Loading…
Cancel
Save