diff.css

/* ydiff - a language-aware tool for comparing programs */
/* Copyright (C) 2011-2013 Yin Wang (yinwang0@gmail.com) */


/* This program is free software: you can redistribute it and/or modify */
/* it under the terms of the GNU General Public License as published by */
/* the Free Software Foundation, either version 3 of the License, or */
/* (at your option) any later version. */

/* This program is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the */
/* GNU General Public License for more details. */

/* You should have received a copy of the GNU General Public License */
/* along with this program.  If not, see <http://www.gnu.org/licenses/>. */


.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);
}