@charset "UTF-8";
/* CSS Document */

div.xdiff div, div.xdiff p { margin: 2px; padding: 3px 3px 3px 7px; border: 1px solid #666; }

div.xdiff div.changed, div.xdiff p.changed { border-left-color: orange; border-left-width: 4px; }
div.xdiff div.position, div.xdiff p.position { border-left-color: blue; border-left-width: 4px; }
div.xdiff div.added, div.xdiff p.added  { border-left-color: green; border-left-width: 4px; }
div.xdiff div.deleted, div.xdiff p.deleted  { border-left-color: red; border-left-width: 4px; }

div.xdiff div.l1 div.title { font-size: 150%;	font-weight:bold; }
div.xdiff div.l2 div.title { font-size: 120%;	font-weight:bold; }
div.xdiff div.l3 div.title { font-size: 100%;	font-weight:bold; }