diff options
Diffstat (limited to 'data/paste-diff.css')
| -rw-r--r-- | data/paste-diff.css | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/data/paste-diff.css b/data/paste-diff.css new file mode 100644 index 000000000..01b48d656 --- /dev/null +++ b/data/paste-diff.css @@ -0,0 +1,19 @@ +.diff .de1, .diff .de2 {font: normal normal 1em/1.2em monospace; margin:0; padding:0; background:none; vertical-align:top;} +.diff {font-family:monospace;} +.diff .imp {font-weight: bold; color: red;} +.diff li, .diff .li1 {font-weight: normal; vertical-align:top;} +.diff .ln {width:1px;text-align:right;margin:0;padding:0 2px;vertical-align:top;} +.diff .li2 {font-weight: bold; vertical-align:top;} +.diff .kw1 {color: #aaaaaa; font-style: italic;} +.diff .re0 {color: #440088;} +.diff .re1 {color: #991111;} +.diff .re2 {color: #00b000;} +.diff .re3 {color: #888822;} +.diff .re4 {color: #888822;} +.diff .re5 {color: #0011dd;} +.diff .re6 {color: #440088;} +.diff .re7 {color: #991111;} +.diff .re8 {color: #00b000;} +.diff .re9 {color: #888822;} +.diff .ln-xtra, .diff li.ln-xtra, .diff div.ln-xtra {background-color: #ffc;} +.diff span.xtra { display:block; } |