Browse Source

Safari fix. Closes #371

dev/git-series/gccdum
Rubén Rincón 6 years ago
parent
commit
a241b2d893
  1. 5
      static/explorer.css

5
static/explorer.css

@ -10,6 +10,11 @@
margin-left: 0;
}
/* TEMP HACK: https://github.com/Microsoft/monaco-editor/issues/408 */
.monaco-editor .monaco-editor-hover {
animation: none !important;
}
.navbar {
border-radius: 0;
margin-bottom: 2px;

Loading…
Cancel
Save