/* styling for CodeSonar HTML output */
@import url('manual.css');

.hilite {
    color: white;
    background: #000088; /* dark blue */
}
.hilite_0 {
    color: white;
    background: #005500; /* dark green */
}
.hilite_1 {
    color: white;
    background: #550000; /* dark red */
}
.hilite_2 {
    color: white;
    background: #888800; /* dark yellow */
}
.hilite_3 {
    color: white;
    background: #880088; /* dark magenta */
}
.hilite_4 {
    color: white;
    background: #008888; /* dark cyan */
}

/* The palette that appears above a highlighted token. */
.token_palette {
    color: white;
    border: 1px solid black;
    cursor: pointer;
}

a.sourcefile_link {
    color: #555555;
    text-decoration: none;
}

a.sourcefile_link:hover {
    color: black;
    text-decoration: underline;
}

    .line_content_cell a {
        color: #003366;
    }

    span.macro {
        /*color: #0022AA;*/
        color: #8E0C5A;
    }

    span.preprocessor {}

    span.include {}

    span.grayout {
        color: #666666;
        font-style: italic;
    }

    span.unreachable {
        color: #666666;
    }
    span.loop {}

    .on_path {
        background: #f0ecd3;
    }
    .on_path_legend { 
        background: #f0ecd3;
        border:2px solid white;
        line-height: 200%;
    }

    span.on_path {
        line-height: 110%;
    }

    .interesting {}

    span.super_interesting {
        background-color: #FFCCBB;
        border-top: 1px solid #FF8866;
        border-bottom: 1px solid #FF8866;
        line-height: 115%;
    }

    .superint_left {
        border-left: 1px solid #FF8866;
    }

    .superint_right {
        border-right: 1px solid #FF8866;
    }

    span.keyword {
        font-weight: bold;
    }

    span.comment {
        font-style: italic;
        color: #666666;
    }

    td.msg_toggle {
        padding: 1px 3px 1px 3px;
        vertical-align: top;
        width: 1px;
    }

    td.flow_toggle {
        padding: 1px 3px 1px 3px;
        vertical-align: top;
        width: 1px;
    }

    td.toggle {
        padding: 1px 3px 1px 3px;
        vertical-align: top;
        white-space: pre;
        width: 1px;
    }

    td.callsite_option {
        vertical-align: top;
        text-align: right;
        color: rgb(0, 51, 102);
        white-space: pre;
    }

    td.disabled_callsite_option {
        color: rgb(51, 51, 51);
    }

    td.callsite_line {
        border-left-width: 0px;
        border-right-width: 0px;
        font-family: monospace;
        font-size: 12px;
        vertical-align: top;
        background-color: #FFDDAA;
        cursor: pointer;
    }

    .parse_error {
        font-family: "Helvetica LT Std Light", "Helvetica Light", "Helvetica", "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue",  "Tahoma", "Geneva", "Arial",  sans-serif; 
        border: 1px solid #DD0000;
        background: #FFDDDD;
        padding: 4px;
        color: #000000;
        margin: 0px 4px 0px 4px;
        float: left;
        clear: left;
        line-height: 105%;
    }

    .parse_error a {
        color: blue;
        text-decoration: underline;
    }

    div.external_warning {
        font-family:  "Helvetica LT Std Light", "Helvetica Light", "Helvetica", "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue",  "Tahoma", "Geneva", "Arial",  sans-serif; 
        font-style: italic;
        float: right;
        padding: 3px;
        margin: 2px;
    }

    div.external_warning_in_path {
        border: 1px solid #888888;
        background: white;
    }

    div.external_warning_in_file {
        border: 1px solid #FF0000;
        background: #FFDDDD;
    }

    div.external_warning_in_file a {
        color: #440000;
    }

    span.toggle {
        color: #0022AA;
        text-decoration: none;
        cursor: pointer;
    }

    .expansion_hide_link {
        float: right;
        color: #333;
        padding: 0px 2px 0px 2px;
        font-style: normal;
        cursor: pointer;
    }

    span.msg_controls {}

    .line_number_cell {
        text-align: right;
        vertical-align: top;
        color: #747474;
        vertical-align: top;
        font-family: monospace;
        padding: 1px 3px 1px 3px;
        width: 1px;
    }

    .line_number_cell a {
        color: #747474;
    }

    #options_menu_label {
        float: right;
        font-weight: bold;
        font-style: normal;
        color: black;
        cursor: pointer;
    }

    .more_cell {
        cursor: pointer;
    }

    #top_event_toggles {
        font-size: 9pt;
    }

    a.top_event_toggle {
        cursor: pointer;
        text-decoration: none;
        font-size: 9pt;
        color: #036;
    }

    a.top_event_toggle:hover {
        text-decoration: underline;
    }

/* The background color for control-flow messages. */
.listing_msg_ctrl_flow {
    background-color: #F2FFF2;
    color: #004400;
}
/* The background color for data messages and end boxes. */

.listing_msg_body {
     background-color: #FFFDE8;
}