th, td { font-size: 10px; }  /*  For ADC header */

#breadcrumb {
    font-family: lucida grande, geneva, helvetica, arial, sans-serif;
    font-size: 10px;
    font-weight: normal;
    margin-left: 10px;
    margin-top: 8px;
}

a:link          { color: #18396E; text-decoration: none; }
a:active        { color: #18396E; text-decoration: none; }
a:visited       { color: #003366; text-decoration: none; }

a:link:hover    { color: #18396E; text-decoration: underline; }
a:visited:hover { color: #003366; text-decoration: underline; }

div.diffReport {
    font-size:12px;
    font-family: lucida grande, geneva, helvetica, arial, sans-serif;
    padding-bottom: 30px;
}

.diffReport h1 {
    margin-top: 30px;
    margin-bottom: 30px;
    font: bold 30px lucida grande, geneva, helvetica, arial, sans-serif;
    color: #000;
}
.diffReport h2 {
    margin-top: 40px;
    margin-bottom: 15px;
    font-size: 24px;
    color: #000;
    padding-bottom: 2px; border-bottom: 1px solid #919699;
}
.diffReport div.subtitle {
    font: normal 20px lucida grande, geneva, helvetica, arial, sans-serif;
    margin-left: 30px;
    margin-top: -10px;
    color: #333;
}
.diffReport div.subtitle span.platformName {
    font: italic 20px lucida grande, geneva, helvetica, arial, sans-serif;
    color: #966;
}


.diffReport div.headerFile {
    margin-left: 20px
}
.diffReport div.headerName {
    margin:  15px 0px 10px -20px;
    padding:  4px 4px  4px  20px;
    font-weight: bold; font-size: 120%;
    background-color: #F8F8F8;
}

.diffReport table {
    border: 1px #888 solid;
    padding:2px; border-spacing:0px;
    border-collapse: collapse;
    margin-left: 40px;
    margin-top: 7px
}
.diffReport td, .diffReport th {
    font-size: 10px;
    border: 1px #888 solid;
    padding:3px 6px;
}
.diffReport th { font-size: 10px; text-align: center; background-color: #eee; }
.diffReport td { font-size: 90%;  text-align: left; }

.diffReport .declaration { font-family: courier, monospace }

.diffReport .nochange {
    margin-left: 20px;
    font-style: italic;
    color:#888;
}

.diffReport div.modified { margin-top: 5px }
.diffReport div.removed  { margin-top: 5px }
.diffReport div.added    { margin-top: 5px }

.diffReport div.symbolName {
    padding-left: 20px;
    font-family: monospace;
    font-size: 110%}
.diffReport span.symbolArch {
    font-size: 80%;
    font-style: italic;
    color: #CCC;
    padding-left: 20px; }
.diffReport span.noArch {
    font-style: italic;
 }


.diffReport .removed  .diffStatus {
    font-style: italic; font-size: 80%; color:red;
 }
.diffReport .added    .diffStatus {
    font-style: italic; font-size: 80%; color:blue;
}
.diffReport .modified .diffStatus {
    font-style: italic; font-size: 80%; color:#080;
}