body {
	font-family: Georgia, Times, Times New Roman, Serif;
	font-size: 1em;
	background-color: white;
	padding-left: 30px;
	padding-right: 10px;
	margin-left: 40px;
	margin-top: 200px;
	#background-image: url('/osgedu/general/OSG_logo.png');
	background-position: top right;
	background-repeat: no-repeat;
	}

h1, h2, h3, h4 {
	font-family: Verdana, Helvetica, Arial, Sans Serif;
	color: #aa0000;
	line-height: 104%;
	padding-top: 0pt;
	padding-right: 0pt;
	padding-bottom: 0pt;
	padding-left: 0pt;
	margin-top: 1em;
	margin-right: 0pt;
	margin-bottom: 0.1em;
	font-weight: normal;
	}

h2, h3, h4, h5, h6 {
	display: block;
	padding-top: 0.1em;
	padding-right: 5px;
	padding-bottom: 0.1em;
	padding-left: 5px;
	margin-top: 3em;
	margin-right: -5px;
	margin-bottom: 0.35em;
	margin-left: -5px;
	border-top-width: 0pt;
	border-right-width: 0pt;
	border-bottom-width: 1px;
	border-left-width: 0pt;
	border-style: solid;
	height: auto;
	}




h1 {
	margin-top: 2em;
	margin-right: 0em;
	margin-bottom: .5em;
	margin-left: -40px;
	font-size: 250%;
	background-color: transparent;
	border-top: medium solid #aa0000
}

h2 {
	margin-left: -40px;
	background-color: #fdfaf1;
	border-top-color: #e2dcc8;
	border-right-color: #e2dcc8;
	border-bottom-color: #e2dcc8;
	border-left-color: #e2dcc8;
	font-size: 160%;
	}


h3 {
	font-size: 135%;
	}


replaceable, .replaceable { 
	font-style: italic;
}

userinput, .userinput { 
	color: #0000FF; 
}

span.term { 
    font-weight: bold; 
}

.in, .userinput {
    color:#0000FF; 
}

.out, .useroutput {
    color:#006600;
}

pre {
    font-family: Monaco, Ludica Console, monospace, Courier New, Courier;
    font-size: .9em;
}

pre.programlisting { 
    background: #F0E0E0; 
    border: 1px solid gray; 
    padding: 2px; 
    white-space: pre;
}

pre.screen { 
    background: #E0F0E0; 
    border: 1px solid gray; 
    padding-right: 2px; 
    padding-left: 2px;
    padding-top: .5em;
    padding-bottom: .5em;
    white-space: pre;
}


div.example p.title{ 
    background: #FFFFFF; 
    border: none; 
    padding: 0px;
    padding-top: 10px;
    margin-bottom: 0px;
    font-weight: bold;
    font-size: 14pt;
}

div.example p{ 
    background: #F4F4F4; 
    border: 1px solid gray; 
    padding: 6px;
#    padding-left: 30px;
    margin-top: 5px;
#    font-weight: bold;
#    font-size: 14pt;
}

div.informalexample p.title{ 
    background: #FFFFFF; 
    border: none; 
    padding: 0px;
    padding-top: 10px;
    margin-bottom: 0px;
    font-weight: bold;
    font-size: 14pt;
}

div.informalexamplebody{ 
    background: #F4F4F4; 
    border: 1px solid gray; 
    padding: 6px;
#    padding-left: 30px;
    margin-top: 5px;
#    font-weight: bold;
#    font-size: 14pt;
}

div.glosslist dt { 
    font-weight: bold;
    color: #FF874B;
}

.command { 
    font-weight: bold;
    color: #900000;
}

code {
    font-family: Monaco, Ludica Console, monospace, Courier New, Courier;
    font-size: .9em;
}

pre.screen strong.userinput code {
	font-family:inherit;
	font-size:inherit;
	font-weight:inherit;
}


code.filename { 
  font-weight: bold;
 }

div.figure {
	float: right; 
	width: 50%; 
	border: thin silver solid; 
	margin: 0.5em; 
	padding: 0.5em; 
} 

div.figure p { 
	text-align: center; 
	font-style: italic; 
	font-size: smaller; 
	text-indent: 0; 
} 

img.scaled { 
	width: 100%; 
}

.note h3.title, .caution h3.title {
	font-family: Helvetica, Verdana, Sans Serif, Arial;
	font-size: 1.5em;
	font-weight: bolder;
	margin-left:-5px;
	border: 0px;
	padding-top:0px;
	padding-bottom:0px;
	margin-top: 0px;
	margin-bottom: 0px;
}


.caution
{
    font-family: Verdana, Helvetica, Arial, Sans Serif;
    font-size: 1em;
/*    background-color: #FFD4BA;
    border: thin solid #02007F;  */
    width: auto;
	background-color: white;	   /* #FFF380; khaki1 */
    border: 0px;
    padding-top: 20px;
    padding-bottom: 20px;
    padding-left: 75px;
    margin-left: 5px;
    width: auto;
    background-image: url('/osgedu/general/600px-Nuvola_apps_important_small.jpg');
	background-repeat: no-repeat;
	background-position: 5px 15px; 
}

.caution h3.title {
	color: red;
	}

.note
{
    font-family: Verdana, Helvetica, Arial, Sans Serif;
    font-size: 1em;
/*    background-color: #D4FFBA; */
/*	background-color: white;	 */
    border: 0px;
    padding-top: 20px;
    padding-bottom: 20px;
    padding-left: 75px;
    margin-left: 5px;
    width: auto;
    background-image: url('/osgedu/general/Attention_yellow_small.png');
	background-repeat: no-repeat;
	background-position: 5px 15px; 
}

.note h3.title {
	color: blue;
}