copyvios/static/style.css

body {
    font-family: helvetica, arial, clean, sans-serif;
    font-size: 14px;
    color: #000;
    background-color: #000;
    background-attachment: fixed;
    margin: 0;
}

ul, ol {
    line-height: 1.5;
}

h1, h2, h3, h4, h5, h6 {
    margin-top: 0.20em;
    margin-bottom: 0.20em;
}

div#header {
    margin: 30px 60px 30px 60px;
    padding: 2px 15px 2px 15px;
    border: 1px solid #777;
    background-color: #FFF;
}

div#container {
    line-height: 1.25;
    margin: 0 60px 80px 60px;
    padding: 15px 15px 15px 15px;
    border: 1px solid #777;
    background-color: #FFF;
}

div#footer {
    position: fixed;
    width: 100%;
    bottom: 0;
    font-size: 0.85em;
    text-align: center;
    line-height: 1.5;
    background: #DDDDDD;
}

div#foot-divider {
    border-bottom: 1px solid #777;
}

div#cv-result-yes {
    padding: 5px 10px 0 10px;
    margin: 0 5px 10px 5px;
    background-color: #FEE;
    border: 1px solid #F77;
}

div#cv-result-no {
    padding: 5px 10px 0 10px;
    margin: 0 5px 10px 5px;
    background-color: #EFE;
    border: 1px solid #7F7;
}

div#cv-result-detail {
    padding: 0 10px 0 10px;
    margin: 10px 10px 20px 10px;
    background-color: #F3F3F3;
    border: 1px solid #AAA;
}

p#heading {
    font-size: 2.5em;
    font-weight: bold;
    margin: 8px 0 8px 0;
}

p#links {
    font-size: 1.5em;
    font-weight: bold;
    margin: 8px 0 10px 0;
}

table#cv-chain-table {
    width: 100%;
    border-spacing: 10px;
}

h2#cv-result-header {
    margin-bottom: 0;
}

ul#cv-result-list {
    margin-top: 0.5em;
}

ul#cv-result-detail-list {
    margin-bottom: 0;
}

a#cv-cached {
    position: relative;
}

a#cv-cached span {
    display: none;
    position: absolute;
    top: 20px;
    left: -50px;
    width: 500px;
    padding: 5px;
    z-index: 1;
    background: #F3F3F3;
    border: 1px solid #AAA;
    color: black;
}

div.toolbox {
    margin: 15px 0 15px 0;
    padding: 0 6px 0 6px;
    border: 1px solid #999;
    background-color: #F5F5F5;
}

div.divider {
    border-bottom: 1px solid #AAA;
    margin-top: 15px;
    margin-bottom: 15px;
}

div.green-box {
    padding: 0 10px 0 10px;
    margin: 0 5px 10px 5px;
    background-color: #EFE;
    border: 1px solid #7F7;
}

div.red-box {
    padding: 0 10px 0 10px;
    margin: 0 5px 10px 5px;
    background-color: #FEE;
    border: 1px solid #F77;
}

div.indentable {
    white-space: pre-wrap;
}

div.cv-chain-detail {
    padding: 0 10px 0 10px;
    background-color: #FFF;
    border: 1px solid #BBB;
}

p.toolname {
    font-size: 18px;
    margin: 6px 0 6px 0;
    background-color: #E7E7E7;
}

p.tooldesc {
    margin: 6px 0 6px 0;
}

td.cv-chain-cell {
    width: 50%;
    vertical-align: top;
}

span.cv-hl {
    background: #FAA;
}

span.cv-hl-in {
    background: #FCC;
    background: -webkit-gradient(linear, 0% 0%, 100% 0%, from(#FFF), to(#FAA)); /* Chrome, Safari 4+ */
    background: -webkit-linear-gradient(left, #FFF, #FAA); /* Chrome 10+, Safari 5+ */
    background: -moz-linear-gradient(left, #FFF, #FAA); /* Firefox 3.6+ */
    background: -ms-linear-gradient(left, #FFF, #FAA); /* IE 10+ */
    background: -o-linear-gradient(left, #FFF, #FAA); /* Opera 11.10+ */
    background: linear-gradient(left, #FFF, #FAA);
}

span.cv-hl-out {
    background: #FCC;
    background: -webkit-gradient(linear, 0% 0%, 100% 0%, from(#FAA), to(#FFF)); /* Chrome, Safari 4+ */
    background: -webkit-linear-gradient(left, #FAA, #FFF); /* Chrome 10+, Safari 5+ */
    background: -moz-linear-gradient(left, #FAA, #FFF); /* Firefox 3.6+ */
    background: -ms-linear-gradient(left, #FAA, #FFF); /* IE 10+ */
    background: -o-linear-gradient(left, #FAA, #FFF); /* Opera 11.10+ */
    background: linear-gradient(left, #FAA, #FFF);
}

span.mono   { font-family: monospace; }
span.light  { color: #CCC; }
span.medium { color: #AAA; }

a:link    { color: #373; text-decoration: none; }
a:visited { color: #373; text-decoration: none; }
a:hover   { color: #040; text-decoration: underline; }
a:active  { color: #404; text-decoration: underline; }

a.black:link    { color: #000; }
a.black:visited { color: #000; }
a.black:hover   { color: #000; }
a.black:active  { color: #000; }

a.dark:link    { color: #777; }
a.dark:visited { color: #777; }
a.dark:hover   { color: #777; }
a.dark:active  { color: #333; }

a.mid:link    { color: #AAA; }
a.mid:visited { color: #AAA; }
a.mid:hover   { color: #888; }
a.mid:active  { color: #666; }

a:active#cv-cached     { color: #040; text-decoration: none; }
a:hover#cv-cached      { text-decoration: none; }
a:hover#cv-cached span { display: block; }