body 
{
	margin-left: 10%; 
	margin-right: 10%;
	background: white;
	color: black;
}

p, h1, h2, h3, h4, em, strong, b, td, th, caption, blockquote, ul, li, dl, dt, ol, div, span, table  {font-family: sans-serif}


h1 { margin-left: -8% }

h2 {margin: 1.6em 0 0.8em -4%}

h2, h4  { color: #069 }

h3 { color: black; font-size:115% }

/* simplified text colors -lesch

em {color:blue; background: yellow}

strong { color:blue; background:#fcc }

b { color: #069 }

*/

em, i { font-style: italic }

strong, b { font-weight: bold }


caption { text-decoration: underline; margin-top: 1em }

blockquote { color: #036; font-style: italic }


a img { border-style: none; color: white }




div.small {font-size: small; margin-left: 10%}



pre.example {
        background-color: #d5d5d5;
        margin: 1em 1cm;
        padding: 0 0.3cm;
        white-space: pre;  /* for NS4 */
        border: none;      /* for NS4 */
        font-size: 92%;
}


pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:1pt;
    border-color:#999999;
    color:#111111; 
    padding:5px;
    width:100%;
    font-size: 80%;
    font-family: "courier new";
}


.code
{
    font-family: "courier new";
    font-size: 100%;
}

.smalltext
{
	font-size: 8pt;
	font-weight: bold;
	font-family:  Arial, serif, Georgia,  "Times New Roman", Times;
}

h2 a
{
	color: #069;
	text-decoration: none;
}

h2 a:hover
{
	text-decoration: underline;
}