body
{
	margin-top: 18px;
	margin-bottom: 25px;
	margin-left: 6%;
	margin-right: 6%;
	font-family: "Verdana", sans-serif;
	font-size: 10pt;
	color: black;             /* Default font color */
	background-color: white;  /* Default background */
}

/*
a:link { color: white; text-decoration: none;}
a:visited { color: white; text-decoration: none;}
a:hover { color: #FFCC66;  text-decoration: none;}
a:active { color: #FFCC66;  background-color: #2020CC; text-decoration: none;}
*/

.title
{
	font-family: Arial, Helvetica, sans-serif;
	font-style: normal;
	font-weight: bold;
	color: black;
	font-size: 18pt;
	text-align: center;
}

h1
{
	margin-top: 10px;
	/* margin-left: -2%; */
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16pt;
	font-weight: bold;
}

h2
{
	margin-left: -3%;
	margin-top: 20px;
	margin-bottom: 10px;
	padding: 2px 5px;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14pt;
	font-weight: bold;
	line-height: 1.2em;
	border-bottom: 2px solid rgb(100,135,220);
	border-left: 1px solid rgb(100,135,220);
}

h3, h4, h5, h6
{
	margin-left: 0;
	margin-top: 20px;
	line-height: 1.2em;
}	

p
{
	margin-top: 5px;
	margin-bottom: 10px;
}

.resource
{
	font-style: normal;
	font-weight: bold;
	font-style: italic;
	color: black;
}

pre.shell
{
	margin-top: 5px;
	margin-bottom: 10px;
	margin-left: 5%;
	margin-right: 10%;
	background-color: #ddeeff;
}

pre.wshell
{
	margin-top: 5px;
	margin-bottom: 10px;
	margin-left: 0%;
	margin-right: 0%;
	background-color: #ddeeff;
}

pre.data
{
	margin-left: 5%;
	margin-right: 10%;
	background-color: #ccddcc;
}