File: /var/www/html/wptuneprotect/wp-content/plugins/insert-php/admin/assets/css/code-editor-style.less
.winp-editor-container {
.code-editor-before {
border-bottom: none;
background-color: #f7f7f7;
}
.code-editor-before div {
color: #8F8F8F;
margin-left: 45px;
border-left: 1px solid #ddd;
padding: 3px 8px;
background-color: #fff;
}
.code-editor-after {
border-top: none;
background-color: #f7f7f7;
}
.code-editor-after div {
color: #8F8F8F;
margin-left: 45px;
border-left: 1px solid #ddd;
padding: 3px 8px;
background-color: #fff;
}
}