/**************** links ****************/
a:link, a:visited { 
    font-weight: normal; 
    text-decoration: none; 
    COLOR: firebrick;
}
a:hover, a:active { 
    COLOR: navy;
}
a.nonexistent, a.nonexistent:visited {
    background-color: white;
    color: red;
    font-weight: bold;
}
a.pdf {
    font-size: 10px;
}
a.extra {
    font-size: 10px;
}
a.conf, a.conf:link, a.conf:visited {
    COLOR: blue; 
}
a.dir, a.dir:link, a.dir:visited { 
    COLOR: blue; 
}
a.file, a.file:link, a.file:visited { 
    COLOR: firebrick; 
}


/**************** heading ****************/
h1, h2, h3, h4, h5, h6 {
    font-family: Georgia, Verdana, Helvetica, Arial, sans-serif, Times, serif;
    font-stretch: narrower;
    margin-bottom: 20px;
    COLOR: black;
}

h1 {
    font-family: Times, serif, Georgia, Verdana, Helvetica, Arial, sans-serif;
    font-size: 24px;
    font-style: italic;
    margin-bottom: 20px;
}
h2 {
    font-size: 20px;
    /*text-align: center;*/
}
h3 {
    font-size: 14px;
    padding-left: 8px;
    background: #CCCCCF;
}
h3.caps {
    font-size: 14px;
}

h4, h5 {
    font-size: 12px;
    margin-left: 12px;
}
h5 {
    color: navy;
}
h6 {
    font-size: 11px;
}


/**************** body, table ****************/
body, table {
    font-family: Georgia, Verdana, Helvetica, Arial, sans-serif, Times, serif;
    font-size: 12px;
    color: #222222;
}


/**************** body ****************/
body { 
}
body.mainframe { 
    background: #0a0a2a;
}


/**************** p, pre ****************/
p, pre
{
    margin-left: 18px;
    margin-right: 18px;
}
pre
{
    font-size: 11px;
}


/**************** table ****************/
table { 
    background: white;
    /*border-width: thick;*/
    color: #222222;
}
table.mainframe {
    font-size: 12px;
    border-spacing: 10;
    border: 0;
    width: 700;
}
table.wideframe {
    font-size: 12px;
    border-spacing: 10;
    width: 800;
}
table.small { 
    font-size: 12px;
}
tr.red { color: red; }
tr.blue { color: blue; }


/**************** list ****************/
ul {
    line-height: 140%;
    margin-top: 12px;
    margin-bottom: 12px;
    margin-right: 12px;
}
ul.disc {list-style-type: disc}
ul.circle {list-style-type: circle}
ul.square {list-style-type: square}
ul.none {list-style-type: none}

ol {
    line-height: 120%;
    margin-top: 12px;
    margin-left: 50px;
}

li {
    margin-top: 12px;
    margin-left: -6px;
    margin-right: 3px;
}

li.focus {
    background: #D3ECF5;
}

li.highlight {
    background: #E6F2FF;
}


/*********** CSS for the links ************/
div.topmenu { 
    font-family: Helvetica, sans-serif;
    font-size: 12px; 
    background: #ffffff ; 
}
div.topmenu a {
    top: 50px;
    width: 90px;
    text-align: center;
    color: firebrick; 
    border-style: solid;
    border-width: thin;
    /*border-color: lightgrey;*/
    border-color: white;
    /*padding: 0.1 0.1em 0.1em 0.1em;*/
    padding: 0 0 0 0;
    /*margin: 0.1em 0.1em 0.1em 0.1em;*/
    margin: 0 0 0 0;
}
div.topmenu a:link, a:visited { 
    text-decoration: none; 
}
div.topmenu a:hover, a:active { 
    background: lightgrey;
    color: navy;
}