Files
gitx/html/css/diff.css
T
André Berg 5598eef737 Add preference options for refreshing the view + controller automatically on windowDidBecomeMain.
Add preference for showing exact or relative dates. 
Make the showWhitespaceDifferences preference work.
Make the context slider in the diff views work. 

This is done with a minimal version of jQuery 1.3.2 being responsible for the animation and
a small cookie storing the last value between page refreshes so that it can be incremented by the HTML sliders
default value.
TODO: Maybe we can also make the default context value into a preference?
2010-03-24 09:14:52 +01:00

57 lines
995 B
CSS

.diff .file {
margin: 10px;
padding: 10px;
-webkit-border-radius: 10px;
border: 1px solid #CCC;
-webkit-box-shadow: 1px 1px 2px #DDD;
}
.diff .file .fileHeader {
margin-top: -5px;
padding-bottom: 1px;
font-weight: bold;
}
.diff .file .diffContent {
white-space: pre;
font-family: Meslo, "Andale Mono", Menlo, Monaco;
font-size: 11px;
}
.diff .file .diffcontent .lineno {
float: left;
padding-left: 2px;
padding-right: 2px;
background-color: #ECECEC;
color: #A9A9A9;
border: 1px solid #DDDDDD;
text-align: right;
}
.diff .file .diffContent .lines {
overflow: auto;
}
.diff .file .diffContent .lines .hunkheader {
background-color: #f7f7f7;
color: #bbb;
}
.diff .file .diffcontent .lines .delline {
background-color: #FEE;
color: #B00;
}
.diff .file .diffcontent .lines .addline {
background-color: #DFD;
color: #080;
}
.diff .file .diffcontent .lines .whitespace {
background-color: rgba(255,0,0,0.5);
}
#CurrentHunk {
border-left: 5px solid black;
}