/* All reports */

body
    {
    background-color: white;
    }

span.super
    {
    vertical-align: super;
    font-size:80%;
    margin-left: 3pt;
    }

h1.page-title
    { 
    text-align: left;
    text-transform: capitalize;
    margin-bottom: 10pt;
    }

table.header-table
    {
    margin-left: 10pt;
    margin-top: 20pt;
    margin-bottom: 10pt;
    width: 800px;
    }

td.header-item
    { 
    text-align: left;
    vertical-align: top;
    font-weight: bold;
    }

td.header-item-content
    { 
    padding-left: 20pt;
    padding-bottom: 10pt;
    }

td.legend-item
    { 
    padding-left: 5pt;
    padding-top: 2pt;
    }

div.acknowledgement
    {
    text-align: left;
    margin-top: 10pt;
    margin-left: 5pt;
    margin-bottom: 10pt;
    }

div.purpose
    { 
    text-align: left;
    margin-left: 5pt;
    margin-top: 10pt;
    }

div.legend
    { 
    text-align: left;
    margin-left: 15pt;
    }

div.library-name
    { 
    margin-top: 20pt;
    margin-bottom: 10pt;
    text-align: left;
    font-size: 125%;
    font-weight: bold;
    }

table.summary-table
,table.detail-table
    { 
    border-collapse: collapse;
    border: 2px solid black;
    margin: 5px;
    }

 table.summary-table td
,table.detail-table td
    { 
    text-align: center;
    border-left: 1px solid black;
    border-right: 1px solid black;
    }

 a.log-link:link
,a.log-link:visited
    {
     color: black; 
/*  text-decoration: none; */
    }

 a.log-link:active
,a.log-link:hover
,a.legend-link:link
,a.legend-link:visited
,a.legend-link:active
,a.legend-link:hover
    {
    color: black; 
    text-decoration: underline;
    }

td.toolset-name
    {
    vertical-align: middle;
    padding-left: 3pt;  
    padding-right: 3pt;  
    }

td.required-toolset-name
    {
    font-weight: bold;
    vertical-align: middle;
    padding-left: 3pt;  
    padding-right: 3pt;  
    }

td.detail-corner-case-header
    {
    }

tr.summary-row-first td
, tr.detail-row-first td 
    {
    border-top: 1px solid gray;
    border-bottom: 0px;
    }

tr.summary-row-last td
, tr.detail-row-last td 
    {
    border-top: 0px;
    border-bottom: 1px solid gray;
    }

tr.summary-row-single td
, tr.detail-row-single td 
    {
    border-top: 1px solid gray;
    border-bottom: 1px solid gray;
    }

tr.summary-row td
, tr.detail-row td 
    {
    border-bottom: 0px;
    border-top: 0px; 
    }

 td.detail-success-expected
,td.detail-fail-expected
,td.detail-user-success
,td.summary-expected
,td.summary-user-fail-expected
,td.summary-user-success
    { 
    width: 60pt;
    text-align: center;
    background-color: lightgreen;
    border-left: 1px solid black;
    border-right: 1px solid black;
    padding-left: 2pt;
    padding-right: 2pt;
    }

 td.detail-success-unexpected
,td.summary-success-unexpected
    { 
    width: 60pt;
    text-align: center;
    background-color: green;
    font-weight: bold;
    color: white;
    border: 0px;
    padding-left: 2pt;
    padding-right: 2pt;
    }


tr.summary-row              td.summary-fail-unexpected
    , tr.summary-row-first  td.summary-fail-unexpected
    , tr.summary-row-last   td.summary-fail-unexpected
    , tr.summary-row-single td.summary-fail-unexpected  

,tr.summary-row             td.summary-user-fail-unexpected    
    ,tr.summary-row-first   td.summary-user-fail-unexpected
    ,tr.summary-row-last    td.summary-user-fail-unexpected
    ,tr.summary-row-simple  td.summary-user-fail-unexpected

,tr.detail-row              td.detail-user-fail-unexpected
    , tr.detail-row-first   td.detail-user-fail-unexpected
    , tr.detail-row-last    td.detail-user-fail-unexpected
    , tr.detail-row-simple  td.detail-user-fail-unexpected
    { 
    width: 60pt;
    text-align: center;
    background-color: red;
    color: black;
    border: 2px solid black; 
    padding-left: 2pt;
    padding-right: 2pt;
    }

tr.summary-row                  td.summary-missing
    , tr.summary-row-first      td.summary-missing
    , tr.summary-row-last       td.summary-missing
    , tr.summary-row-single     td.summary-missing

, tr.detail-row                 td.detail-missing
    , tr.detail-row-first       td.detail-missing
    , tr.detail-row-last        td.detail-missing
    , tr.detail-row-single      td.detail-missing
    {
    width: 60pt;
    text-align: center;
    background-color: white;
    color: black;
    border: 2px solid black; 
    padding-left: 2pt;
    padding-right: 2pt;
    }

tr.summary-row td.summary-unusable
    , tr.summary-row-first  td.summary-unusable
    , tr.summary-row-last   td.summary-unusable
    , tr.summary-row-single td.summary-unusable

, tr.detail-row             td.detail-unusable
    , tr.detail-row-first   td.detail-unusable
    , tr.detail-row-last    td.detail-unusable
    , tr.detail-row-single  td.detail-unusable
    {
    width: 60pt;  
    text-align: center;
    background-color: silver;
    color: black;
    border-top: 2px solid black; 
    border-bottom: 2px solid black; 
    border-left: 2px solid black; 
    border-right: 2px solid black; 
    padding-left: 2pt;
    padding-right: 2pt;
    }

/* Summary */

table.summary-table td.library-name
    {
    width: 100pt;
    padding: 0pt;
    border-top: 1px solid gray;
    border-bottom: 1px solid gray;
    }

tr.summary-row              td.summary-user-fail-unexpected
    , tr.summary-row-first  td.summary-user-fail-unexpected
    , tr.summary-row-last   td.summary-user-fail-unexpected
    , tr.summary-row-single td.summary-user-fail-unexpected
    { 
    width: 60pt;
    text-align: center;
    background-color: yellow;
    color: black;
    border: 2px solid black; 
    padding-left: 2pt;
    padding-right: 2pt;
    }

tr.summary-row              td.summary-fail-unexpected-new
    , tr.summary-row-first  td.summary-fail-unexpected-new
    , tr.summary-row-last   td.summary-fail-unexpected-new
    , tr.summary-row-single td.summary-fail-unexpected-new

, tr.detail-row             td.detail-fail-unexpected-new
    , tr.detail-row-first   td.detail-fail-unexpected-new
    , tr.detail-row-last    td.detail-fail-unexpected-new
    , tr.detail-row-single  td.detail-fail-unexpected-new 
    { 
    width: 60pt;
    text-align: center;
    background-color: yellow;
    color: black;
    border: 2px solid black; 
    }

/* Detailed */

.detail-conf-problem
    {
    font-size: 70%;
    font-weight: normal;
    }

div.detail-toc
    { 
    margin: 5pt;
    }


li.detail-toc-entry
    { 
    margin-left: 5pt;
    list-style-type: square;
    }


div.detail-footer
    { 
    margin: 5px;
    }


table.detail-table td.test-name
    {
    width: 150pt;
    padding-left: 6pt;
    padding-right: 6pt;
    border-right: 0;
    border-top: 1px solid gray;
    border-bottom: 1px solid gray;
    }

table.detail-table td.test-type
    {
    padding-right: 5px;
    border-left: 0;
    border-right: 0;
    border-top: 1px solid gray;
    border-bottom: 1px solid gray;
    text-align: right;
    }

tr.detail-row td.detail-fail-unexpected
    , tr.detail-row-first td.detail-fail-unexpected
    , tr.detail-row-last td.detail-fail-unexpected
    , tr.detail-row-single td.detail-fail-unexpected
    { 
    width: 60pt;
    text-align: center;
    background-color: red;
    font-weight: bold;
    color: black;
    border: 2px solid black; 
    }

td.detail-user-fail-expectected
    { 
    width: 60pt;
    text-align: center;
    background-color: yellow;
    color: black;
    border: 0px solid black; 
    }

table.detail-library-notes
    {
    background-color: LemonChiffon;
    width: 640px;
    margin-left: 5px;
    margin-right: 5px; 
    }

tr.detail-library-note
    {
    }

div.note
    {
    padding: 3pt;
    }

span.note-header
    {
    font-weight: bold;
    }

/* Log */

div.log-test-title
    {
    font-size: 1.5em;
    font-weight: bold;
    border-bottom: 1px solid black;
    }

div.notes-title
    {
    font-weight: bold;
    background-color:#FFFFCC;
    }

div.notes
    {
    padding: 3pt;
    background-color:#FFFFCC;
    }

div.notes-title
    {
    font-weight: bold;
    }

div.log-compiler-output-title
    {
    font-weight: bold;
    }

div.log-linker-output-title
{
  font-weight: bold;
}

div.log-run-output-title
{
  font-weight: bold;
}



