h1 {
  font-size: 135%;

}

h2.title { 
  font-size: 130%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h2 { 
  font-size: 130%;

}
h3.title { 
  font-size: 125%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}

h3 { 
  font-size: 125%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}


h4.title { 
  font-size: 120%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h4{ 
  font-size: 120%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h5.title { 
  font-size: 115%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h5 { 
  font-size: 115%;

    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h6.title { 
  font-size: 110%;

  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h6 { 
  font-size: 110%;

  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h7.title {

  font-size: 105%;
    margin-top: 1.5em;
  margin-bottom: 1.5em;
}
h7 {

  font-size: 105%;
    margin-top: 1.5em;
  margin-bottom: 1.5em;
}

.bridgehead {
  margin-top: 5pt;
}


.refsect1 h2, h3, h4 {
  font-size: 120%;
margin-top: 0.5em;
margin-bottom: 0.5em;
padding-top: 0em;
padding-bottom: 0em;
}


.refsect1 p {
margin-top: 0.5em;
margin-bottom: 0.5em;
padding-top: 0em;
padding-bottom: 0em;

}

.refsection h2 {
  font-size: 130%;
  color: #800000;
margin-top: 0.5em;
margin-bottom: 0.5em;
padding-top: 0em;
padding-bottom: 0em;
}

.refsection h4 {
    font-style: italic;
	  color: #800000;
}

.note admontitle, .caution admontitle {
  font-size: 130%;

}
.warning {
  border: 1px solid black;
}

.warning th, .warning h3 {
	color: #BC213E;

}

.warning h3, .tip h3, .important h3 { 
  border-bottom-style: none;
  margin-top: .4em;
  margin-bottom: .4em;
  margin-left: 1pt;
}

.note p, .caution p, .warning  p{ 
  margin-top: .3em;
}

a:link {color: #000080}
a:visited {color: #A52A2A}
a:hover, a:hover b, a:hover i, a:hover em, a:hover strong {
background-color:yellow;
}

a:active {
color: red;
}

a.expandspot {
	cursor: hand;
	color: #008000;
	font-style: normal;
}

.bridgehead { 
  font-weight: bold;
}

p.Backtotop {
	margin-top: 0pt;
	text-align: Right;
	font-weight: bold;
	font-style: normal;
}


tt {
font-family: CourierNew,Courier,monospace;
}

pre {
font-family: CourierNew,Courier,monospace;
}



.widget .navheader {
 height: 0pt;
display: none;
}

.widget .navfooter {
 display: none;
}

.noshow .navheader {
display: none;
}

.noshow .navfooter {
 display: none;
}


.refnamediv { 
  margin-top: 1em;

 }
.refnamediv * { 
  margin-top: 0pt;
  margin-bottom: 0pt;
 }

.refname { 
  line-height: normal;
 }
.refclass { 
  text-align: right;
}
.application { 
 }

.refpurpose { 
  font-weight: bold;
 }


.activator p:before { 
  content: '> ';
}
.activator { 
  text-decoration: underline;
  color: blue;
  cursor: pointer;
}

.activator:hover { 
  background-color: yellow;
}

.hideable { 
  background-color: rgb(255, 255, 204);
  margin-left: 2em;
  margin-right: 2em;
  border: ridge black 2pt;
  display: none;
}

.hideable > p { 
  padding-left: 1em;
  padding-right: 1em;
 }

.glosslist .hideable { 
  margin-top: .5em;
  margin-bottom: .5em;
 }

.added, .changed, .deleted, .moved, .movedchanged { 
  border-left: solid black;
  padding-left: 0.5em;
}


 
div.added    { background-color: #ffff99; }
div.deleted  { text-decoration: line-through;
               background-color: #FF7F7F; }
div.changed  { background-color: #99ff99; }
div.off      {  }
div.moved {background-color: #99CCFF; }
div.movedchanged {background-color: #CCCCCC; }

span.added   { background-color: #ffff99; }
span.deleted { text-decoration: line-through;
               background-color: #FF7F7F; }
span.changed { background-color: #99ff99; }
span.off     {  }
span.moved {background-color: #99CCFF; }
span.movedchanged {background-color: #CCCCCC; }
 
 
 
.example { 
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom: 1em;
  padding-left: 1em;
  padding-right: 1em;
  border-style: solid;
  border-width: 1pt;
  border-color: orange;
  margin-top: 1em;
 }

.example .title { 
  position: relative;
  top: -7pt;
  margin-bottom: 0pt;
  margin-top: 0pt;

 }

.example .title b { 
  background-color: #EEEEEE;
  border-style: solid;
  border-width: 1pt;
  border-color: orange;
  padding-left: 2pt;
  padding-right: 2pt;
}

.programlisting { 
  background-color: #E0E0E0;
  margin-left: 2em;
  margin-right: 2em;
  padding-left: 1em;
 }

.screen {
  background-color: #E0E0E0;

}
 

.sidebar { 
  background-color: rgb(255, 255, 165);
  float: right;
  width: 300px;
  padding-left: 1em;
  padding-right: 1em;
  text-align: left;
 }


.sidebar .title { 
  text-align: center;
  background-color: black;
  color: white;
  font-size: 120%;
  margin-left: -1em;
  margin-right: -1em;
  margin-top: 0em;
  padding-top: 1pt;
  padding-bottom: 1pt;
 }

.msg { 
  font-weight: bold;
 }

.msg p { 
  margin-bottom: 0pt;
  margin-top: 0pt;
 }

.msgexplan { 
  margin-left: 1em;
}

.msgexplan p { 
  margin-top: 0pt;
  margin-bottom: 0.5em;
 }

.refsynopsisdiv dd p { 
  padding-top: 0pt;
  margin-top: 0pt;
  margin-bottom: 0.5em;
  padding-bottom: 0em;
}

table.argvalues { 
  vertical-align: top;
  margin-top: 0.5em;
}

table.argvalues td { 
  vertical-align: top;
 }


.usernavheader {
width: 100%

  }

p.top  {
 color: white;
margin-top: 0px; 
background-color: gray;
margin-bottom: 0px;
}


.logo img.logo { 
position: absolute;
top: 0px;
left: 0px;
}	

td.navheadertable { 
font-size: 75%;
}

.path  {
 width: 100%;
color: black;
text-align: left;
 background-color: lightgrey;

}

td.navfootertable {
font-size: 75%;
}

.legalfooter {

  color: gray;
  text-align: center;
}


.datefooter  {
 color: gray;
 text-align: center;
}


.italic {
font-style: italic;
}


@media print {
.navheader {display: none}
.usernavheader {display: none}
.navfooter {display:none}
.hideable { display: block; }
  body { 
    margin-top: 0pt;
    padding-top: 18px;
  }
}