/* 
Text blue: #3D5B96
Dark blue: #c1cede
Mid blue: #e4eef0 
Light blue: #f6fffb
mid green #B1CCC7
rust #96433D
*/

/* used for frameset holders */
.bgnd {
	margin-top:0;
	margin-left:0;
	background: #f6fffb;
	}

/* used for menu */

.menu {
	background: #f6fffb;
	margin-top:20px;
	margin-left:40px;
}

/* used for content pages */

.main {
	background: #e4eef0;
	margin-top:10px;
	margin-left:5px;
	margin-right:5px;
	margin-bottom:20px;

}

/* used for menu links */

a {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

/* used for in body links */

a.bodylink {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: underline;
}

/* used for table of contents level 1 */

a.toc1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
}

/* used for table of contents level 2 */

a.toc2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

/* used for menu heading */
.title {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
	line-height: 1.3em;
}

/* used for main page headings */


h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
		}

h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
		}
		
h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style: italic;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
		}		
/* used for subheads in pref. to H2 etc, to limit underlining width */

.subhead {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
	border-bottom : thin dashed #3D5B96;
	padding-right : 5px;
}

/* used for standard text */

p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
	padding-right:15px;
}
ital {
    font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: italic;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
	
}

italb {
    font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: italic;
	font-weight: bold;
	text-decoration: none;
	line-height: 1.3em;
	
}

code {
		font-family: "lucida sans typewriter", courier, monospace;
	font-size: 8pt;
	font-style: normal;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
}

ul {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
}

li {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;

}

th {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: bold;
	text-decoration: none;
	line-height: 1.3em;
	padding-left: 15px;
   /* text-indent: -15px;*/
	padding-right: 15px;
	padding-top: 0px;
	padding-bottom: 0px;
}
td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-style: normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
	line-height: 1.3em;
	padding-left: 15px;
   /* text-indent: -15px;*/
	padding-right: 15px;
	
}



/* used for text in boxed areas */

.boxed {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style: normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	margin-top:5px;
	margin-bottom:5px;
}

/* used for example code */

.codeblock {
    background: #B1CCC7;
    /*background: #e4eef0;*/
	font-family: "lucida sans typewriter", courier, monospace;
	font-size: 8pt;	
	font-style: normal;
	color: #96433D;
	font-weight: normal;
	text-decoration: none;
	padding-right:15px;
}

/* used for example commands */

.command {
	font-size: 8pt;	
	font-style: normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	padding-right:15px;
}



/* used for links in boxed areas */

a.rust {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: underline;
}

/* used for links at the end of a page */

a.nav {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #96433D;
	font-weight: bold;
}

table.feature-matrix {
  margin: 5px;
  padding: 3px;  
border-collapse:collapse;
}

td.feature-matrix {
     border-style:solid;
border-width:1px;
border-color:	#C0C0C0;
vertical-align: middle;
    padding-top: 5px;
	padding-bottom: 5px;
}
/* used for licenses */

h1.license {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	line-height: 15pt;
}

h2.license {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-style:normal;
	color: #96433D;
	font-weight: bold;
	text-decoration: none;
	line-height: 12pt;
}

.licence {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: none;
	line-height: 11pt;
	margin-top:8px;
	margin-bottom:8px;
}
.licencelink {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	font-style:normal;
	color: #3D5B96;
	font-weight: normal;
	text-decoration: underline;
	line-height: 11pt;
}