body { background-color: white;
            color: #000;
            font-size: 11pt;
            font-family: arial, helvetica, sans-serif;
            }

h1     { font-family: Souvenir Lt Bt, Georgia, Serif;
            font-size: 150%;
            font-weight: normal;
            color: #606;     /*rgb(51, 102, 136); rgb(255, 102, 51);*/
	        margin-top: 0px; margin-bottom: 0px;
            }
h2 { font-size: 140%; margin-top: 0px; margin-bottom: 0px;}
h3 { font-size: 120%; margin-top: 0px; margin-bottom: 0px;}
h4 { font-size: 100%; }

.hide { display: none; }

td.number {
            text-align: right;
            }

.pullq { font: 120% arial, helvetica, sans-serif;
        border: #69c solid 1px;
        margin 0em 1em;
        padding: 0.5em;
        background: #e9cbcb;  /*#ccc;*/
        width: 25%;
        float: right;
        }
.pullqImg {
        float: right;
        margin: 0.5em 0 0 0.5em;
        border: thin #aaa solid;
        }
/* about.jsp */
.topText { text-align: center; margin-top: 10px;}
#tinyLogo { float: right; }

#srchBlkInclude { position: relative; top: 0; left: 0; width: 650px; }
#smallLogoBlk { float: left; width: 200px; }
#smallLogoInner { position: relative; left: 0; top: 0; width: 200px; }
#logoHomeLink { font-size: 90%; position: relative; top: -10px; left: 0; width: 3em;}
#qryFldBlk { display: inline; float: left; margin-top: 8px; margin-left: 10px; }

.indentedBookBlk { margin-left: 100px; }

/* search.html */

a:link, a:active {text-decoration: none; color: #039;}
a:visited { text-decoration: none; color: #800080; }
a:hover { text-decoration: underline; }

.copyToQry a:link, .copyToQry a:active, .copyToQry a:visited {margin-right: .5em;}

.label_italic {
           font-size: 90%;
	       font-style: italic;
           }
.label     {
           font-size: 90%;
           }

input.radio { color: rgb(255, 102, 51); }
td.search_btn { padding: 0px 0px 0px 6px; }
img.complexity-icon { padding: 0px 0px 0px 0px; }
table.srch_lbls { padding: 1px 0px 0px 0px; }
#sloganCup { padding: 0 0 0 20px; }
/*
#slogan     { font-family: Souvenir Lt Bt, Georgia, Serif;
            font-size: 150%;
            font-weight: normal;
            color: #606;     /*rgb(51, 102, 136); rgb(255, 102, 51);*/
	        padding: 0px 0px 20px 0px;
            }
*/
#slogan img { margin-left: 8px;
            }
table.main  { margin-left: 20px; margin-top: 20px; }
.nothingFoundMsg {
            font-size: 110%;
            margin-left: 6px;
            }
.nothingFoundMsgRed {
            font-size: 110%;
            margin-left: 6px;
            color: red;
            }
.errMsg    {
            font-size: 110%;
            font-weight: bold;
            color: red;
            width: 30em;
            margin: 10px 0;
            }
td.errMsg   {padding: 10px 0px 0px 0px;}
.statMsg    {
            font-size: 14px;
            font-weight: bold;
            color: black;
            clear: both;
            margin-left: 6px;
            }
#scopeStmt {
            font-size: 70%;
	        text-align: center; /*margin-left: 6.7em;*/
            }
/* searchResult.jsp */
.iconBox { height: 24px; width: 70px; float: left; }
.iconSubstitute { font-size: 130%; font-weight: bold; color: #36f; }

.copyRightSymbol { font-size: 120%; font-weight: bold; }

.complexity1 { font-size: 120%; font-weight: bold; color: #39f; letter-spacing: -0.03em;}
.complexity2 { font-size: 120%; font-weight: bold; color: #0f0; letter-spacing: -0.03em;}
.complexity3 { font-size: 120%; font-weight: bold; color: #f30; letter-spacing: -0.03em;}
.complexity1_small { font-size: 80%; font-weight: bold; color: #39f; letter-spacing: -0.03em;}
.complexity2_small { font-size: 80%; font-weight: bold; color: #0f0; letter-spacing: -0.03em;}
.complexity3_small { font-size: 80%; font-weight: bold; color: #f30; letter-spacing: -0.03em;}


/* search.html */

#searchPage { position: relative;
              top: 0px; left: 0px;
              width: 43em;
              margin-left: auto;
              margin-right: auto;
              }
#searchLHS { float: left; width: 410px; }  /* 400 is OK on Firefox */
#homePageAd { /*clear: both;*/
              position: absolute;
              /*margin-left: auto;
              margin-right: auto;*/
              width: 468px;
              margin-top: 30px;
              }
#homePageAdDmy { position: relative; top: 0px; left: 0px; width: 468px; clear: both;}

#blurb  { float: left; width: 13em; margin-left: 20px;}
#blurbTxt { font-size: 90%; }
#blurbTxt:first-letter {
            font-size: 140%;
            color: #368;    /*rgb(51, 102, 136);*/
            }
#sampleQueries    { line-height: 1.2em; border: #36f solid 1px; margin-top: 10px; }  /* #f63 #093 */
#sampleQueries div { color: white; background-image: url(gradient.jpg); padding-left: 4px; }
#sampleQueries dl { list-style-type: none; padding: 2px 4px; margin: 0px 0px; font-size: 90%;}

#news { float: left; width: 14em; display: none; border: #606 solid 1px; margin-top: 25px; }
#news-header { color: black; background-color: #FFD800; font-weight: bolder; padding-left: 4px; border: @iPurple@ solid 1px;}
.news-heading { color: black; font-weight: bolder; font-size: 100%;}
.news-body { color: black; font-weight: normal; font-size: 90%; padding: 5px 5px; line-height: 130%;}
.news-date { font-size: 80%; }

#searchFldBlock { margin-top: 20px; width: 400px; }
.floatRight { float: right; }
#searchBtn { margin-left: auto; margin-right: auto; display: block; }
#qryTxt { width: 400px; margin-bottom: 1px;}
#searchResTop {
            background-color: #d2e4fc;
            text-align: right;
            line-height: 1.4em;
            border-top: solid rgb(51,102,136) 1px;
            margin-bottom: 1em;
            clear: both;
            }
#searchResTop #searchResTitle {
            font-weight: bold;
            float: left;
            margin-left: 6px;
            }
#searchResTitle a { margin-left: 20px; font-weight: normal;}
#searchResTop #queryStats {
            width: 20em;
            margin: 0px; padding: 0px;
            font-size: 80%;
            margin-right: 6px;
            }
#searchRes { position: relative; top: 0px; left: 0px;}
#titleBar {
            background-color: #d2e4fc;
            line-height: 1.4em;
            border-top: solid rgb(51,102,136) 1px;
            }
#titleBar h2 {
            /*font-weight: bold;  */
            font-size: 1.0em;
            color: black;
            margin-left: 6px;
            }
.smalltxt   { font-size: 80%; }
.vsmalltxt   { font-size: 70%; }

#resultPages { text-align: center;}
#resultPages .curPg { color: #c00;
            font-weight: bold; }

/* viewSource.jsp: */
#okToCopy {
            background-color: #e9cbcb;
            padding: 0 .3em;
            -moz-border-radius: 5px;
            }
#gotoTop { text-align: center;
           padding-top: 1em; }
.highliteRow {background-color: #eeeeee; }

#searchBlk  { position: absolute;
              top: 1em;
              left: 1em;
              right: 1em;
              height: 5.2em;
              overflow: auto;
              }
/* thanks to Alex Robinson and http://www.fu2k.org/alex/css/frames/ for this IE6 trick: */
#searchBlk { width:  expression((document.documentElement.clientWidth ? document.documentElement.clientWidth : document.body.clientWidth) - ((parseInt(document.body.currentStyle.fontSize) * 1.3333333 * 2)) + "px"); }

#viewSrcProdIcon { float: left; margin: 2px 5px 0 5px;}

#srcHdr {     position: absolute;
                top: 6em;
                left: 1em;
                right: 13.5em;
                height: 4.5em;
                overflow: auto;
                clear: both;
               }
#srcHdr { width:  expression((document.documentElement.clientWidth ? document.documentElement.clientWidth : document.body.clientWidth) - ((parseInt(document.body.currentStyle.fontSize) * 1.3333333 * 14.5)) + "px"); }

#src {  position: absolute;
        top: 10.5em;
        left: 1em;
        right: 13.5em;
        bottom: 0;
        overflow: auto;
           }

#src {  height: expression((document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body.clientHeight) - ((parseInt(document.body.currentStyle.fontSize) * 1.3333333 * 10.5)) + "px");
        width:  expression((document.documentElement.clientWidth ? document.documentElement.clientWidth : document.body.clientWidth) - ((parseInt(document.body.currentStyle.fontSize) * 1.3333333 * 14.5)) + "px");
        }

#srccode {
        font-family: Courier New, monospace;
        font-size: 80%;
        }

.srccode { white-space: pre;
        font-family: Courier New, monospace;
        font-size: 80%;
        }

#adBlk {
        position: absolute;
        top: 6em;
        right: 1em;
        bottom: 1em;
        width: 12.5em;
        overflow: auto;
        }
#adBlk { height: expression((document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body.clientHeight) - ((parseInt(document.body.currentStyle.fontSize) * 1.3333333 * 6)) + "px"); }

#adBlk-searchRes {
        position: absolute;
        top: 0;
        right: 0;
        }

#lineNoBtns {margin-top: 5px; margin-bottom: 5px; }
#ad { margin: 15px 0 0 10px;}

#hits    { width: 10.5em; margin-left: 10px; }
#hits #hitsTblLbl { font-size: 90%; color: white; background-color: #69c; margin-bottom: 2px; padding: 0 0 0 0.3em; font-weight: bold;}
#hitsTbl { border: 1px solid #d2e4fc;}
#hitsTbl th {
            font-size: 80%;
            letter-spacing: .03em;
            vertical-align: bottom;
            text-align: left;
            background-color: #69c;
            color: white;
            padding: 0 0.3em;
            }
#hitsTbl th a { color: white; }
#hitsTbl td { font-size: 80%; padding: 0 0.3em; border: 1px solid #d2e4fc; }

.bold       { font-weight: bold; }

/*
 * styles for mock advertisement
 */
/*
font.a,.a:link{color:#008000}
a.f,.fl:link  {color:#6f6f6f}
*/

/*
 * styles for non-query-related pages
 */
#rosenBk { position: relative;
            top: -16px;
            left: 10em; }

#pgWrapper {
    width: 55.5em;
    margin-left: auto;
    margin-right: auto;
    position: relative;
    }
#pgWrapperDB {
    width: 65.5em;
    margin-left: auto;
    margin-right: auto;
    position: relative;
    }

#ad-staticPgs {
    width: 160px;
    display: inline;
    position: absolute;
    top: 1.9em; left: 44.5em;
    }
#ad-DBPg {
    width: 160px;
    display: inline;
    position: absolute;
    top: 1.9em; left: 54.5em;
    }

#contWrapper {
    margin-right: 10px;
    width: 42em;
    position: absolute;
    top: 0; left: 0;
    }
#contWrapperDB {
    margin-right: 10px;
    width: 52em;
    position: absolute;
    top: 0; left: 0;
    }

.sectWrapper {
    width: 42em;
    margin-top: 10px;
    margin-bottom: 0px;
}
.sectWrapperDB {
    width: 52em;
    margin-right: auto;
    margin-left: auto;
    margin-top: 10px;
    margin-bottom: 0px;
}
.sectTitleH1 {
    width: 100%;
    background-color: #d2e4fc;
    padding-left: 10px;
    padding-right: 10px;
    line-height: 1.9em;
    /*border: #36f solid 1px;*/
    border-color: #36f;
    border-style: solid solid none solid;
    border-width: 1px;
}
.sectTitleH2 {
    width: 100%;
    background-color: #d2e4fc;
    padding-left: 10px;
    padding-right: 10px;
    line-height: 1.5em;
    /*border: #36f solid 1px;*/
    border-color: #36f;
    border-style: solid solid none solid;
    border-width: 1px;
}
.txtBlk {
        background-color: white;
        border-right: #36f solid 1px;
        border-bottom: #36f solid 1px;
        border-left: #36f solid 1px;
        padding: 10px;
        width: 100%;
        }

.sectTitleH2 h2 { }
.sectTitleH1 h1 {
    font-size: x-large;
    font-weight: bold; color: black;
    font-family: arial, helvetica, sans-serif;
}
#products {
            border-collapse: separate;
            border: 1px solid #368;
            }
#products th {
            color: white;
            background-color: #368;
            padding: 2px 5px;
            border-spacing: 10px;
            }
#products td {
            background-color: #eee;
            padding: 2px 5px;
            border-spacing: 10px;
            }
.italic     {
            font-style: italic;
            }
#navBarOuter { width: 40em; /* 35 */
            /*margin-right: auto;
            margin-left: auto;*/
            }
#navBarOuter a:hover { padding: 2px 0px 2px 0px;}
#navBar     {
            /*padding: 4px 2px;*/
            }
#navBar span {
            padding-left: 0.5em;
            padding-right: 0.5em;
            }

body#rating {
            margin: 20px 20px;
            background-color: white;
            color: #368;
            }
div#ratingquestion {
            background-color: #69c;
            color: white;
            line-height: 1.4em;
            width: 12em;
            padding-left: 5px;
            margin-bottom: 15px;
            }

.hidden  { visibility: hidden; }
.normalFont { font-weight: normal; }

.marginTop1 { margin-top: 1em; }
.marginBot1 { margin-bottom: 1em; }
.marginTopp5 { margin-top: 0.5em; }
.marginBotp5 { margin-bottom: 0.5em; }
