/* WIND Developer's Reference - style sheet */

/* Header colors */
h1,h2,h3,h4,h5,h6 {color: #800000}
span.hdr {color: #800000}

/* Current page and parent document in navigation headers */
span.nav {color: #800000}

/* Subroutine description boxes */
table.subdesc {background: #ffeecc}

/* Export Control Notice */
div.export_control {
width: 95%;
margin-left: auto;
margin-right: auto;
/* Shades of red from lighter to darker:
   See:  http://www.somacon.com/cgi/colorchart.pl
background: #FFBFC8;
background: #FF7F91;  
*/
background: #FF7F91;
border: solid black 2px;
padding: 0.25em 0.50em;
}
div#export_control_header{ font-weight: bolder; text-align: center; }
div#export_control_body{ font-size: small; }

/* Footer */
div.footer {font-style: italic}