4 -webkit-border-radius: 10px;
5 border: 1px solid
#CCC;
6 -webkit-box-shadow: 1px 1px 2px #DDD;
9 .diff .file .fileHeader {
15 .diff .file .diffContent {
20 .diff .file .diffcontent .lineno {
24 background-color: #ECECEC;
26 border: 1px solid
#DDDDDD;
30 .diff .file .diffContent .lines {
34 .diff .file .diffContent .lines .hunkheader {
35 background-color: #f7f7f7;
40 .diff .file .diffcontent .lines .delline {
41 background-color: #FEE;
45 .diff .file .diffcontent .lines .addline {
46 background-color: #DFD;
50 .diff .file .diffcontent .lines .whitespace {
51 background-color: rgba
(255,0,0,0.5);
55 border-left: 5px solid black
;