.d {                            /* deleted */
    border: solid 1px #CC929A;
    border-radius: 3px;
    background-color: #FCBFBA;
}

.i {                            /* inserted */
    border: solid 1px #73BE73;
    border-radius: 3px;
    background-color: #98FB98;
}

.c {                            /* changed */
    border: solid 1px #8AADB8;
    background-color: LightBlue;
    border-radius: 3px;
    cursor: pointer;
}

.m {                            /* moved */
    border: solid 1px #A9A9A9;
    border-radius: 3px;
    cursor: crosshair;
}

.mc {
    border: solid 1px LightPink;
    background-color: LightBlue;
    cursor: pointer;
}

.u {                            /* unchanged */
    border: solid 1px #A9A9A9;
    border-radius: 4px;
    cursor: crosshair;
}

span.lineno {
    color: lightgrey;
    -webkit-user-select: none;
    -moz-user-select: none;
}

span.keyword {
    /* color: #007070; */
    font-weight: 700;
}

div.line {
}

div.src {
    width:48%;
    height:98%;
    overflow:scroll;
    float:left;
    padding:0.5%;
    border: solid 2px LightGrey;
    border-radius: 5px;
}


div.stats {
    border: solid 1px grey;
    z-index: 1000;
    width: 80%;
    padding-left: 5%;
}

pre.stats {
    color: grey;
    -webkit-user-select: none;
    -moz-user-select: none;
}

pre {
    line-height: 200%;
}

p {
    line-height: 200%;
}

::-webkit-scrollbar {
    width: 10px;
}

::-webkit-scrollbar-track {
    -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
    border-radius: 10px;
}

::-webkit-scrollbar-thumb {
    border-radius: 10px;
    -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5);
}