p,div,td,span,select,option,li {
	font-family: Verdana,Arial, Helvetica, sans-serif;
	color: #333333;
	font-size: small;
}

h1, h2, h3, h4, h5, h6 {
    color: Black;
}

h1 {
    font-size: 160%;
}

h2 {
    font-size: 130%;
}

h3 {
    font-size: 120%;
}

h4 {
    font-size: 100%;
}


a {
    color: #000066;
    text-decoration: underline;
}

a:visited {
    color: #660033;
}

a:hover {
    color: #cc6600;
}

a.topnav, a.topnav:visited {
    font-weight: normal;
    color: #333333;
    text-decoration: none;
}

a.topnav:hover {
    font-weight: normal;
    color: #FFFFFF;
    text-decoration: none;
}

a.topnavcurrent, a.tpnavcurrent:hover, a.topnavcurrent:visited {
    font-weight: normal;
    color: #FFFFFF;
    text-decoration: none;
}

a.sidenav,a.sidenav:visited {
    color: #cccccc;
    text-decoration: none;
}

a.sidenav:hover, {
    color: #ffcc66;
}

#home , #publications, #releases, #historicaldocs, #blank {
    border-top: 1px solid #000000;
    border-bottom: 1px solid #000000;
    border-left: 1px solid #000000;
}

td.sidenav {
    color: #cccccc
}

td.sidenavHeader {
    color: #FFFFFF; 
    font-weight: bold;
}

ul {
    font-size: small;
    list-style-position: outside;
    list-style-type: square;
}

.white {
    color: #FFFFFF
}

a.white, a.white:visited, a.white:hover {
    color: #FFFFFF;
    text-decoration: none
}

a.whiteUnderline, a.whiteUnderline:visited, a.whiteUnderline:hover {
    color: #FFFFFF;
    text-decoration: underline;
}

a.black, a.black:visited, a.black:hover {
    color: #333333;
    text-decoration: none;
}

.red {
    color: #cc0000
}

select.pre , option.pre {
    font-family: Courier New, Courier, mono;
    font-size: large;
}

#subject_list,#cloud { padding: 0.5em; line-height: 3em; text-align: left; border-color:#666;border-style:solid;border-width:1px 0px 1px 0px}
#cloud a { padding: 0px; }


#cloud a.tag1 { font-size: 1.0em; font-weight: 100; }
#cloud a.tag2 { font-size: 1.5em; font-weight: 400; }
#cloud a.tag3 { font-size: 2.0em; font-weight: 700; }
#cloud a.tag4 { font-size: 2.5em; font-weight: 900; }
a.selected , a.selected:hover , a.selected:visited {color:#000 !important;text-decoration:none}
#cloud a:visited {color: #000066;}






/*
     FILE ARCHIVED ON 8:44:53 Jan 30, 2009 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 6:36:41 Apr 30, 2024.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/