#no_result {
    display: flex;
    justify-content: center;
    align-items: center;
    flex-direction: column;
    color: darkgray;
}

#result_container {
    display: flex;
    justify-content: center;
    align-items: center;
    margin-top: 10px;
    flex-direction: column;
}

.res_panel {
    padding: 10px;
    width: 90%;
    display: flex;
    justify-content: space-between;
    align-items: center;
}
.res_hr {
    width: 90%;
}

.res_content_true {
    color: green;
}
.res_content_false {
    color: red;
}
.res_title {
    font-size: 18px;
}

.latex_content {
    overflow-y: auto;
    font-size: 14px;
}

/* animation on editor empty */
@keyframes shake {
    0% { transform: translate(0, 0) rotate(0deg); }
    25% { transform: translate(5px, 5px) rotate(3deg); }
    50% { transform: translate(0, 0) rotate(0eg); }
    75% { transform: translate(-5px, 5px) rotate(-3deg); }
    100% { transform: translate(0, 0) rotate(0deg); }
  }