#diff-result-area {
    resize: vertical;
    height: 500px;
}
.site-header {
    background-color: #3c4146;
    border-bottom-color: #202326;
    padding-top: 25px;
    padding-bottom: 25px;
}