/* coverity.css */
/* Style sheet definitions for HTML GUI mockups. */

/*
 * SGM 2006-05-25: I put this through the W3C CSS validator.  It
 * complained about a few things that I could easily fix, but the rest
 * are IE hacks that I do not know much about.  So I have simply noted 
 * the W3C complaints with "INVALID CSS".
 */

html {
    overflow-x: hidden;
    overflow-y: hidden;
}

body {
    margin               : 0px;
    font-family          : tahoma, arial, sans-serif;
    font-size            : 8pt;
    overflow             : hidden; /* hides page-level scrollbars */
    cursor               : default;
}
/* This does not work; use html-scrollable-header.cst instead. */
body.scrollable {
    overflow             : auto;
}
table {
    font-size            : 100%;
}
button, .buttonInput {
    background-image     : url(images/buttonBackground.png);
    background-repeat    : repeat-x;
    background-color     : rgb(199,211,229);
    border               : 1px solid rgb(0,60,116);
    height               : 20px;
    font-size            : 7pt;
    padding-bottom       : 1px;
    cursor               : pointer;
    -moz-border-radius   : 4px;    /* INVALID CSS */
}
button.goBtn {
    width                : 30px;
    margin-left          : 4px;
}
button.moveBtn {
    width                : 30px;
    margin-left          : 12px;
    margin-bottom        : 2px;
}
select, input {
    font-size            : 8pt;
}
a {
    text-decoration      : underline;
    color                : rgb(51,85,170); 
}
a.noUnderline {
    text-decoration      : none;
}
a:hover {
    text-decoration      : underline;
    color                : rgb(36,63,124);
}
.threePixelLine {
    overflow             : hidden;
    background-color     : rgb(218,218,218);
    border-top           : 1px solid rgb(211,211,211);
    border-bottom        : 1px solid white;
    height               : 1px;
    height               : expression(3); /* IE will set this value while all other clients will keep 1px */ /* INVALID CSS */
}
td.logo {
    padding-right        : 20px;
    text-align           : right;
}

/*
 *  Primary/secondary bands
 */
#primaryBand {
    overflow             : hidden;
    background-color     : rgb(16,61,131);
    background-image     : url(images/GradientBanner.png);
    background-repeat    : repeat-y;
    height               : 37px;
    min-width            : 800px;
}
#secondaryBand {
    overflow             : hidden;
    background-image     : url(images/secondaryBackground.png);
    height               : 24px;
    padding-left         : 22px;
    padding-right        : 22px;
    min-width            : 756px; /* Mozilla Only */
    color                : rgb(36,63,124);
}
#secondaryBand select {
    margin-right         : 30px;
}

/*
 * Main tabs
 */
.tabSpacerLeft {
    width                : 12px;
    border-bottom        : 1px solid rgb(9,68,135);
}
.tab {
    overflow             : hidden;
    text-align           : center;
    background-image     : url(images/Tab_DeSelected.png);
    width                : 82px;
    height               : 25px;
    font-weight          : bold;
    font-size            : 9pt;
    border-bottom        : 1px solid rgb(9,68,135);
    height               : expression(26);  /* INVALID CSS */
}
.tabSelected {
    overflow             : hidden;
    text-align           : center;
    background-image     : url(images/Tab_Selected.png);
    width                : 82px;
    height               : 25px;
    font-weight          : bold;
    font-size            : 9pt;
    border-bottom        : 1px solid rgb(134,191,243);
    height               : expression(26);  /* INVALID CSS */
}
.tab a {
    text-decoration      : none;
    padding-top          : 6px;
    display              : block;
    color                : rgb(233,244,250);
}
.tab a:hover {
    text-decoration      : underline;
    padding-top          : 6px;
    display              : block;
    color                : white;
}
.tabSelected a {
    text-decoration      : none;
    padding-top          : 6px;
    display              : block;
    color                : rgb(36,63,124);
}
.tabSelected a:hover {
    text-decoration      : underline;
    padding-top          : 6px;
    display              : block;
    color                : rgb(36,63,124);
}

/*
 * Secondary navigation
 */
.secondaryLink {
    color                : rgb(36,63,124);
    font-weight          : bold;
    padding-left         : 14px;
    padding-right        : 14px;
    text-decoration      : none; 
}
.secondaryLinkActive {
    color                : rgb(36,63,124);
    font-weight          : bold;
    padding-left         : 14px;
    padding-right        : 14px;
    background-image     : url(images/yellowBall.png);
    background-repeat    : no-repeat;
    text-decoration      : none; 
}

#formBand {
    background-image     : url(images/formBackground.png);
    background-repeat    : repeat-x;
    background-color     : rgb(227,227,227);
    min-width            : 850px;
}
#formBand .filePath {
    clear                : both;
    padding-left         : 10px;
    padding-top          : 5px;
}

/*
 * Code browser
 */
#codeBrowserBar {
    background-color     : rgb(227,227,227); 
    border-bottom        : 1px solid rgb(189,189,189);
    padding-left         : 10px;
    padding-top          : 4px;
    padding-bottom       : 3px;
    min-width            : 800px;
}
#codeBrowser {
    overflow             : auto;
    background           : white;
    
    /*
     * SGM: Bumped the font size up from 8 to 10 because the code
     * browser needs to be fairly easily readable, especially when
     * displayed by a projector at a results meeting. 
     */
    font-size            : 10pt;

    /*
     * SGM: Amazingly, this is what is required to get Gecko to jump
     * to the anchor on initial page load!  There is JS that resets
     * it on load, but still the initial setting is the key.
     */    
    height               : 250px;
}
#codeBrowser .lineNum {
    font-weight          : bold;
    width                : 40px;
    padding-right        : 20px;
    padding-right        : expression(0);  /* INVALID CSS */
}
#codeBrowser .lineNumErr {
    font-weight          : bold;
    background-color     : rgb(255,250,198);
    width                : 40px;
    padding-right        : 20px;
    padding-right        : expression(0);  /* INVALID CSS */
}
#codeBrowser .event {
    background-color     : rgb(255,250,198);
    color                : #cc0000;
}
#codeBrowser .condition {
    background-color     : rgb(255,250,198);
    color                : #008800;
}
#codeBrowser .xrefLine {
    background-color     : rgb(255,250,198);
}
#codeBrowser .codeBlock, #codeBrowser .eventLine {
    font-family	         : monospace;

/* W3C dislikes font-size:default, and it seems pointless */
/*    font-size            : default; */
    

    padding              : 0px 0px 0px 20px;
}

/* Class used for each line in the code browser.  The "pre" means
 * whitespace is significant, similar to <pre>. */
.code {
    white-space          : pre;
}

/* Underline xrefs */
.code a {
    text-decoration      : underline;
}

/* Block of context line in the all-uses page. */
.allUsesContext {
    background           : #cccccc;
}

#codeBrowser .eventBlock {
    padding              : 0px 0px 0px 20px;
    background-color     : rgb(255,250,198);
    color                : #cc0000;
    background-image     : url(images/event.png);
    background-repeat    : no-repeat;
    background-position  : 4px 3px;
    white-space          : normal;
}

#codeBrowser .eventLine {
    padding              : 0px 0px 0px 20px;
    color                : #cc0000;
    background-image     : url(images/event.png);
    background-repeat    : no-repeat;
    background-position  : 4px 3px;
}
#codeBrowser .conditionTrueBlock {
    padding              : 0px 0px 0px 20px;
    background-color     : rgb(255,250,198);
    color                : #008800;
    background-image     : url(images/conditionTrue.png);
    background-repeat    : no-repeat;
    background-position  : 4px 3px;
}
#codeBrowser .conditionFalseBlock {
    padding              : 0px 0px 0px 20px;
    background-color     : rgb(255,250,198);
    color                : #008800;
    background-image     : url(images/conditionFalse.png);
    background-repeat    : no-repeat;
    background-position  : 4px 3px;
}
#codeBrowser div {
    padding-left         : 2px;
    padding-top          : 2px;
    padding-bottom       : 1px;
}

.threadBar {
    color                : rgb(49,58,109);
    font-size            : 9pt;
    font-weight          : bold;
    padding-left         : 10px;
}
.threadBar a {
    text-decoration      : underline;
}
.threadBar span {
    text-decoration      : underline;
    cursor               : pointer;
}

.breadcrumbs {
    color                : rgb(49,58,109);
    font-size            : 9pt;
    font-weight          : bold;
}
.breadcrumbs a {
    text-decoration      : underline;
}

#leftPanel {
    position             : absolute;
    overflow             : hidden;
    left                 : 0px;
    width                : 170px;
    height               : 500px;
    background-color     : rgb(103,166,231);
    background-image     : url(images/leftPanelTopShadow.png);
    background-repeat    : repeat-x;
}
/* The panel margin was defined outside of #leftPanel because the box models are defined differently for IE and Mozilla 
    and we need pricise layout control in the resize() method of the paneled pages
*/
#leftPanel #panelMargin {
    margin-left          : 6px;
    margin-top           : 5px;
}
#leftPanel .rule {
    border-top           : 1px solid rgb(86,131,178);
    background-color     : rgb(138,195,253);
    overflow             : hidden;
    height               : 1px;
    width                : 158px;
    height               : expression(2); /*IE will set this value while all other clients will keep 1px*/ /* INVALID CSS */
}
#commentHistory .ruleGray {
    margin-top           : 4px;
    margin-bottom        : 4px;
    border-top           : 1px solid rgb(153,153,153);
    background-color     : white;
    overflow             : hidden;
    height               : 1px;
    height               : expression(2); /*IE will set this value while all other clients will keep 1px*/ /* INVALID CSS */
}
#commentHistory .user {
    display              : block;
    padding-left         : 5px;
    padding-top          : 3px;
}
#commentHistory .attr {
    display              : block;
    padding-left         : 5px;
}
#commentHistory .note {
    display              : block;
    padding-left         : 5px;
    padding-right        : 5px;
    padding-top          : 8px;
}
#leftPanel div {
    margin-top           : 10px;
    margin-bottom        : 2px;
}
#leftPanel select {
    width                : 100px;
    border               : 1px solid rgb(127,157,185);
}
#leftPanel textarea {
    width                : 156px;
    height               : 100px;
    border               : 1px solid rgb(127,157,185);
}
#leftPanel #extref {
    width                : 100px;
}
#leftPanel #commentHistory {
    width                : 156px;
    height               : 200px;
    margin-top           : 0px;
    background-color     : rgb(219,219,219);
    border               : 1px solid rgb(127,157,185);
    overflow             : auto;
}
#rightPanel {
    position             : absolute;
    left                 : 160px;
    border-left          : 1px solid rgb(86,131,178);
}

.nonBackboneCommentBox {
/*    border               : 2px solid #66aaee;    */  /* blue */
    border               : 1px solid #888888;
    margin               : 5px 5px 5px 7px;
    padding-left         : 2px;
}

/* ER10601: Stack trace view for Thread Analyzer defects */
#bottomPanel {
    background-color     : rgb(227,227,227);
    border-top           : 1px solid rgb(189,189,189);
    padding-top          : 5px;
    padding-left         : 10px;
    padding-right        : 0px;
}
#traceScrollable {
    overflow             : auto;
    height               : 91px;
    background-color     : white;
    border               : 1px solid rgb(189,189,189);
    padding              : 5px;
}
/* The current stack frame in the strack trace view */
.currentTrace {
    background-color     : rgb(204,224,255);
}

/*
 * List
 */
.list, .txtList {
    border-bottom        : 1px solid rgb(189,189,189);
    overflow             : auto;
    
    /* INVALID CSS */
    /*filter: IE only - prevents column header from jittering when the list is scrolled */
    filter               : progid:DXImageTransform.Microsoft.Gradient(gradientType=1,startColorStr=#FFFFFF,endColorStr=#FFFFFF);
}
.list td {
    padding-left         : 4px;
    padding-right        : 4px;
    padding-top          : 2px;
    padding-bottom       : 2px;
    overflow             : hidden;
    test-overflow        : ellipses;  /* INVALID CSS */
}



/* Extra top and bottom padding is required to maintain a considtent row height for lists 
 * without check boxes
 */ 
.txtList td {
    padding-left         : 4px;
    padding-right        : 4px;
    padding-top          : 5px;
    padding-bottom       : 6px;
    overflow             : hidden;
    test-overflow        : ellipses;  /* INVALID CSS */
}
td.firstCol {
    padding-left         : 10px;

}
td.lastCol {
    padding-right        : 10px;
}

td.listHeadCell a {
    text-decoration      : none;
}

td.listHeadCellLastCol a {
    padding-right        : 10px;
    text-decoration      : none;
}

tr.listHead, tr.listHeadCheckbox {
    background-color     : rgb(227,227,227);
    font-weight          : bold;
    color                : rgb(49,58,109);
    position             : relative; /* allows column header to be fixed when list is scrolled in IE */
}
tr.listHead td {
    padding-top          : 8px;
    padding-bottom       : 8px;
    border-bottom        : 1px solid rgb(189,189,189);
}

tr.listHeadCheckbox td {
    padding-top          : 4px;
    padding-bottom       : 5px;
    border-bottom        : 1px solid rgb(189,189,189);
}
#listFoot {
    background-color     : rgb(227,227,227);
    padding-top          : 2px;
    padding-bottom       : 2px;
    padding-left         : 6px;
    min-width            : 700px;
}
tr.listGray {
    background-color     : rgb(227,227,227);
}
tr.listWhite {
    background-color     : white;
}
tr.listGrayZeroSized {
    color                : rgb(99,142,199);
    background-color     : rgb(227,227,227);
}
tr.listWhiteZeroSized {
    color                : rgb(99,142,199);
    background-color     : white;
}
tr.firstColGrayedOut {
    color                : rgb(192,192,192);
    padding-left         : 10px;
}
td.listGroup {
    color                : white;
    background-color     : rgb(99,142,199);
    padding              : 6px 0px 5px 12px;
}
td.listGroup span {
    padding-right        : 40px;
}
.new {
    background-color     : rgb(255,26,48);
    color                : rgb(16,61,131);
}
.common {
    background-color     : rgb(249,228,0);
    color                : rgb(16,61,131);
}
.fixed {
    background-color     : rgb(114,249,40);
    color                : rgb(16,61,131);
}
.grayed {
    color                : rgb(128,128,128);
}

/*
 * Color key table
 */
.key {
    font-size            : 7pt;
}
.key .new {
    background-color     : rgb(219,234,56);
    color                : rgb(16,61,131);
    border-top           : 1px solid rgb(113,119,45);
    border-bottom        : 1px solid rgb(113,119,45);
}
.key .common {
    background-color     : rgb(114,249,40);
    color                : rgb(16,61,131);
    border-top           : 1px solid rgb(63,147,47);
    border-bottom        : 1px solid rgb(63,147,47);
}
.key .fixed {
    background-color     : rgb(60,175,255);
    color                : rgb(16,61,131);
    border-top           : 1px solid rgb(62,107,138);
    border-bottom        : 1px solid rgb(62,107,138);
}

/*
 * Files
 */
.fullPath {
    padding-top          : 3px;
}
.fullPath a {
    text-decoration      : underline;
}
.list .pathTop {
    font-weight          : bold;
    padding-left         : 28px;
    padding-top          : 5px;
    padding-bottom       : 5px;
    background-image     : url(images/folder.png);
    background-repeat    : no-repeat;
    background-position  : 8px;
}
.list .indentFolder {
    padding-left         : 50px;
    padding-top          : 5px;
    padding-bottom       : 5px;
    background-image     : url(images/folder.png);
    background-repeat    : no-repeat;
    background-position  : 23px;
}
.list .indentFile {
    padding-left         : 50px;
    padding-top          : 5px;
    padding-bottom       : 5px;
    background-image     : url(images/file.png);
    background-repeat    : no-repeat;
    background-position  : 23px;
}
.list .noIndentFile {
    padding-left         : 28px;
    padding-top          : 5px;
    padding-bottom       : 5px;
    background-image     : url(images/file.png);
    background-repeat    : no-repeat;
    background-position  : 8px;
}
.list .indentFunction {
    padding-left         : 72px;
    padding-top          : 5px;
    padding-bottom       : 5px;
    background-image     : url(images/file.png);
    background-repeat    : no-repeat;
    background-position  : 52px;
}

/*
 * Home styles
 */
.grayBlock {
    background-color     : rgb(227,227,227);
    border               : 1px solid rgb(153,153,153);
    padding              : 15px 0px 12px 12px;
    width                : 42em;
    margin-left          : 42px;
    margin-bottom        : 5px;
    -moz-border-radius   : 4px; /* INVALID CSS */
}
.grayBlock .form td {
    padding-bottom       : 4px;
    padding-bottom       : expression(3); /* one way to apply a style to IE only */ /* INVALID CSS */
}
.queryForm td {
    padding-bottom       : 4px;
    padding-bottom       : expression(3); /* one way to apply a style to IE only */ /* INVALID CSS */
}
.queryForm select, .queryForm input {
    width                : 140px;
}
div.homeButtons {
    text-align           : right;
    width                : 315px;
    margin-left          : 42px;
}
.homeButtons button {
    width                : 60px;
    margin-left          : 3px;
    margin-top           : 4px;
}
#whiteBody {
    background-image     : url(images/homeBackground.png);
    background-repeat    : repeat-x;
    overflow             : auto;
    background-attachment : expression("fixed"); /* INVALID CSS */
}

/*
 * Run Detail Styles
 */
.runDetailsChart {
    width                 : 400px;
    height                : 400px;
    border                : 1px solid rgb(153,153,153);
    background-color      : white;
    overflow              : auto;
    text-align            : center;
    margin-left           : 20px;
    -moz-border-radius    : 4px; /* INVALID CSS */
}


.shortList {
    border                : 1px solid rgb(153,153,153);
/*  width                 : 600px;*/
    width                 : 100%;  	
    margin-left           : 20px;
/*   -moz-border-radius    : 4px; Mozilla only property for creating rounded corners */
}
.shortList td.firstCol {
    padding               : 1px 10px 1px 10px;
    /* width                 : 100%; */
}
.shortList td {
    padding               : 1px 10px 1px 0px;
   /* width                 : 100%; */
}

.shortListA {
    border                : 1px solid rgb(153,153,153);
/* width                 : 80%;  */	
     width                 : 230px; 
    margin-left           : 20px;
 /*   -moz-border-radius    : 4px; Mozilla only property for creating rounded corners */
}
.shortListA td.firstCol {
    padding               : 1px 10px 1px 10px;
    /* width                 : 100%; */
}
.shortListA td {
    padding               : 1px 10px 1px 0px;
   /* width                 : 100%; */
}


/*
 * Admin Styles
 */
.adminBlock {
    background-color     : rgb(227,227,227);
    border               : 1px solid rgb(153,153,153);
    width                : 320px;
    margin-left          : 40px;
    margin-top           : 6px;
    -moz-border-radius   : 4px; /* INVALID CSS */
}
.adminBlock table {
    margin               : 10px;
}
div.adminButtons {
    width                : 320px;
    text-align           : right;
    margin-left          : 40px;
    padding-top          : 10px;
}
div.adminButtons  button {
    width                : 60px;
    margin-left          : 2px;
}

/*
 * Report styles
 */
.rptOverviewKey {
    overflow             : hidden;
    width                : 7px;
    height               : 7px;
    border               : 1px solid black;
    margin               : 0px 5px 0px 5px;
    width                : expression(9);  /* For IE. Mozilla will add the border width to the overall width of the element, in this... */ /* INVALID CSS */
    height               : expression(9);  /* case 7+1+1=9. IE will set the width to what you tell it regardless of border, padding, & margin */ /* INVALID CSS */
}

/* Warning and error styles */
.warning {
	color                : rgb(199,20,20);
    font-weight          : bold;
}