hr {
	height: 0px; background-color: #000090; color: #009000; shade: none;
}

h1, h2, h3, h4, p, li, ul, td, input {
	font-family: Arial, Verdana, Helvetica, sans-serif; color: #304068;
}

h1, h2, h3, h4 {
	color: #3070c0; margin-top: 0px; 
}

div.section h2.title {
	border-bottom: 1px solid #8080c0;
}

h1 {
	font-size: 1.5em;	
}
h2 {
	font-size: 1.1em;	
}
h3, h4 {
	font-size: 0.95em;
}

h2.hi3, h3.hi3 {
	background-color: #d8e0f8; color: #000060; font-size: 0.9em; font-weight: bold; padding: 1px; 
}

h2.sect, h3.sect {
	background-color: #000090; color: #f0f0f0; font-weight: bold; font-size: 1.05em; 
	padding: 3px; background-image: url(sec.gif);
}


p.just, li.just {
   text-align: justify; 
}

p.news {
   text-align: left; margin-left: 2px; 
}

ul	{ margin-top: 2px; }
ol	{ }
li	{
	margin-top: 2px; margin-bottom: 2px;
}

li.spaced	{
	margin-top: 6px; margin-bottom: 6px;
}

dt {
     font-weight: bold ; margin-top: 6px; 
}


.toc0 , .toc1 , .toc2, .toc3	{
	margin-bottom: 3px; margin-top: 0;
}

.toc0	{ font-weight: bold ; margin-left: 5px; color: #0050e0; margin-top: 3px; }
.toc1	{ margin-left: 25px; margin-top: 3px;  }
.toc2	{ margin-left: 55px; margin-top: 3px;  }
.toc3	{ margin-left: 85px; margin-top: 3px; }


pre {
    white-space: pre;
    background-color: #eeeeee;
    border: 1px solid #e0e0e0;
    font-family: monospace; font-size: 0.99em;
    padding: 5px;
	text-align: left;
}

.literal {
    font-family: monospace;
}

.hi1 {
     font-weight: bold ; 
}

.hi2 {
     font-weight: bold ; color: #009000; 
}

.tbl1, .tblc {
	border: 2px solid rgb(224, 224, 224);
	text-align: left; margin-left: auto; margin-right: auto;
}

.tblc {
	text-align: center;
}

.cell1 {
       text-align: center; background-color: #eeeeee;
}

.row2 {
       border: 1px solid #c0c0c0;
}

.cell2 {
       border-top: 1px solid #c0c0f0;
}

a {
  text-decoration: none; color: #0080e0; 
}
a:hover {
  text-decoration: underline; color: #00c0ff; 
}


.current {
	/* background-color: #e8f0f0;  */ 
	border: 1px solid #d0f0f0;
}

.menutitle {
	color: #c0c0e0; margin-top: 10px; margin-bottom: 3px; 
}

.navbox1 {
	/* border-top: solid 1px #e0e0e0; border-bottom: solid 1px #e0e0e0; */
	margin-top: 3px; margin-bottom: 3px; padding-top: 1px; padding-bottom: 1px;
	margin-left: 3px; text-align: left;
}

.navbox2, .navbox3, .navbox4 {
	margin-top: 3px; margin-bottom: 3px; padding-left: 3px; text-indent: -3px;
}

.navbox2 {
	 margin-left: 25px; 
}
.navbox3 {
	 margin-left: 45px; 
}
.navbox4 {
	 margin-left: 65px; 
}


.nav1 {
	font-weight: bold ; margin-bottom: 3px; font-size: 0.95em;
	text-decoration: none; 
	color: #E0E0E8;
}
.nav1:hover {
	color: #f0f8ff;
}

.nav2 {
      font-weight: bold ; font-size: 1.2em; text-decoration: none; 
}
.nav2:visited {
	color: #80a0c0;
}
.nav2:hover {
	color: #20e0ff; text-decoration: underline; 
}

.nav3 {
	color: #406090;
	font-size: 0.9em; text-decoration: none; 
}
.nav3:visited {
	color: #80a0c0;
}
.nav3:hover {
	color: #20e0ff; text-decoration: underline; 
}

.nav4 {
	color: #406090;
      font-size: 0.8em; text-decoration: none; 
}
.nav4:visited {
	color: #90b0d0;
}
.nav4:hover {
	color: #20e0ff;
}

.nav5 {
      margin-left: 60px; font-size: 0.8em;
}

.nav5:hover {
	color: #F00000;
}

span.functiondef {
	display: block;
	white-space: pre;
        background-color: #e4e4f4;
        padding: 4px;
        border: 1px solid #c0c0c0;
	font-size: 0.95em; font-weight: bold;
        line-height: 1.2em; text-align: left;
}

.term {
	color: #406090;
}

.citetitle {
	font-size: 0.9em;
}

.smallit {
	font-style: italic; font-size: 0.9em; margin-top: 0px; margin-bottom: 3px;
}


.feattbl {
	border: 1px solid #b0b0c0;
	margin-bottom: 1.0ex;
}

.feattbl th {
	background-color: #f8fffc;
}

.feattbl td {
	background-color: #f2f2f4;
}


.feattbl th h1 {
	color: #0040a0;
	border-bottom: 2px solid #e0e0e0;
}

.feattbl td h3 {
	color: #506090;
}