.winp-editor-container .code-editor-before {
  border-bottom: none;
  background-color: #f7f7f7;
}
.winp-editor-container .code-editor-before div {
  color: #8F8F8F;
  margin-left: 45px;
  border-left: 1px solid #ddd;
  padding: 3px 8px;
  background-color: #fff;
}
.winp-editor-container .code-editor-after {
  border-top: none;
  background-color: #f7f7f7;
}
.winp-editor-container .code-editor-after div {
  color: #8F8F8F;
  margin-left: 45px;
  border-left: 1px solid #ddd;
  padding: 3px 8px;
  background-color: #fff;
}
/*# sourceMappingURL=code-editor-style.css.map */