body {
    font-size: 13px;
}

.pure-form legend {
    margin-bottom: 15px;
}

.mt-10 {
    margin-top: 10px !important;
}

.mt-30 {
     margin-top: 30px !important;
}

.error {
    color: rgb(167, 42, 42);
    border: 1px solid rgb(167, 42, 42);
    box-sizing: border-box;
    padding: 5px;
    font-weight: bold;
    margin: 10px 0;
}

.success {
    color: rgb(31, 122, 47);
    border: 1px solid rgb(31, 122, 47);
    box-sizing: border-box;
    padding: 5px;
    font-weight: bold;
    margin: 10px 0;
}

.pure-menu-heading {
    font-weight: bold;
}

.p-10 {
    padding: 10px;
    box-sizing: border-box;
}

.cc_list {
    width: 100%;
    height: 600px;
    box-sizing: border-box;
    padding: 10px;
    margin-top: 10px;
    overflow-x: scroll;
    white-space: pre;
    overflow-wrap: normal;
    line-height: 17px;
    font-size: 13px;
    color: #151515;
    outline: none;
    resize: none;
}

#filter-domain {
    margin-top: 15px;
    margin-bottom: 15px;
    margin-left: 10px;
}

#js_code, #php_code, .code {
    width: 90%;
    height:500px
}