/*
 * Thanks to the Cobra language: I liked their style so I grabbed their stylesheet.
 * http://cobra-language.com
*/

body {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
}

a:link {text-decoration: none}
a:visited {text-decoration: none}
a:active {text-decoration: none}
a:hover {text-decoration: underline;color: red;}

a.navLink {
	/* For Mac, putting Verdana first and removing the bold looks best. */
	font-family: Arial, Verdana, Helvetica;
	font-weight: bold;
	text-decoration: none;
	font-size: 11pt;
	color: #0000FF;
	margin-right: 10px;
}

a.navLink:visited {
	color: #0000FF;
}

a.navLink:hover {
	color: red;
}

a.bottomNavLink {
	text-decoration: none;
}
	
.word {
	font-family: Monaco, "Lucida Console", Courier-new;
	font-size: 9pt;
	color: #000077;
/*	font-weight: bold;*/
}

td {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
}

div.titleA {
	font-family: Tahoma, Verdana, Arial, Helvetica;
	font-size: 20pt;
	font-weight: bold;
	color: #eee;
	background-color: #090;
		/*
			http://ils.unc.edu/crenshaw/livecolor2.html

			titleA	titleB	text	description
			900		400		eee		dark red
			090		040		eee		dark green
			009		004		eee		dark blue
			444		111		eee		slate
			A67D3D	321		eee		bronze ii
			8E236B  503		fff		maroon
			D98719  531		fff		cool copper
			008080  003030	fff		teal
		*/
	padding: 0.25em;
}

div.titleB {
	background-color: #040;
	height: 0.2em;
}

div.topLinks {
}

div.bottomLinks {
	margin-top: 2em;
	padding-top: 6px;
	padding-bottom: 8px;
	text-align: center;
	background-color: #eee;
}

div.body {
	padding-top: 1.5em;
	padding-bottom: 0;
}

div.nowrap {
	white-space: nowrap;
}

div.panelTitle {
	font-weight: bold;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	font-variant: small-caps;
}

div.sideNavTitle {
	color: #900;
	font-weight: bold;
	font-variant: small-caps;
	font-size: 11pt;
	margin-top: 0;
	margin-bottom: 0.5em;
}

div.footer {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
	text-align: left;
	margin-top: 6px;
	margin-bottom: 1em;
}


td.newsDate {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
	vertial-align: top;
	padding-bottom: 0.5em;
	white-space: nowrap;
	vertical-align: top;
}

td.newsSep {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	font-style: italic;
	color: black;
	background-color: white;
	vertical-align: top;
}

td.newsText {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
	vertical-align: top;
}

td.curNewsText {
	font-family: Verdana, Arial, Helvetica;
	font-size: 10pt;
	color: black;
	background-color: white;
	font-weight: bold;
	vertical-align: top;
}

td.selectedFeatures {
	white-space: nowrap;
}

tr.latestDownload {
	font-size: 14pt;
}

tr.download {
}

td.latestDownload {
	font-size: 14pt;
}

td.latestDownloadCenter {
	font-size: 14pt;
	text-align: center;
}

td.download {
}

td.downloadCenter {
	text-align: center;
}

a.latestDownload {
	font-size: 14pt;
	padding: 5pt;
}

a.download {
	padding-left: 5pt;
}


/* *****  How To Section  ***** */

tr.curHowTo {
	background-color: #efc;
}

td.curHowTo {
	color: black;
	background-color: #efc;
	padding-right: 1em;
	padding-top: 2px;
	padding-bottom: 2px;
}

tr.howTo {
}

td.howTo {
	padding-right: 1em;
	padding-top: 2px;
	padding-bottom: 2px;
}

a.howTo {
	color: #000;
	text-decoration: none;
	padding-right: 1em;
}

a.howTo:hover {
	color: red;
	text-decoration: underline;
	padding-right: 1em;
}

td.howToSource {
	background-color: #efc;
/*	padding-left: 1em;
	padding-right: 1em; */
}


/* *****  Cobra Text  ***** */

h1 { /* first level heading, first on the page */
	margin-top: 0;
	margin-bottom: 1em;
	padding-left: 0;
	font-family: Tahoma, Verdana, Arial, Helvetica;
	font-size: 16pt;
	font-weight: bold;
	color: #004;
	background-color: #white;
}

h2 { /* first level heading, not first on the page */
	margin-top: 1.5em;
	margin-bottom: 0.75em;
	padding-left: 0;
	font-family: Tahoma, Verdana, Arial, Helvetica;
	font-size: 14pt;
	font-weight: bold;
	color: #004;
	background-color: #white;
}

h3 { /* next level heading */
	margin-top: 1.5em;
	margin-bottom: 0.75em;
	padding-left: 0;
	font-family: Tahoma, Verdana, Arial, Helvetica;
	font-size: 12pt;
	font-weight: bold;
	color: #004;
	background-color: #white;
}

pre.code {
	background-color: #efc; /* #eef6ee; */
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
}

pre.grammar {
	color: #500;
	background-color: #eee;
	padding: 0.5em;
}

pre.python {
	background-color: #eeeeee;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
}

pre.output {
	background-color: #eeeeee;
	margin-left: 2em;
	margin-right: 2em;
	padding: 0.5em;
}

div.indent {
	margin-left: 2em;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

table.grammar {
	margin-left: 2em;
	margin-right: 2em;
	background-color: yellow;
}

td.grammarHeading {
	font-variant: small-caps;
	font-size: smaller;
	color: white;
	background-color: black;
	padding: 2px;
}

td.grammarBody {
	white-space: pre, nowrap;
	color: #500;
	background-color: #eee;
	padding: 0.5em;
	font-family: monospace;
}


/* Rounded Corners

http://wigflip.com/cornershop/

*/

.pageHeaderBox { 
  background: #009900; 
}
.pageHeaderBoxTop { 
}
.pageHeaderBoxTop div { 
  font-size: 0;
  height: 15px; 
}
.pageHeaderBoxBottom { 
}
.pageHeaderBoxBottom div { 
  font-size: 0;
  height: 15px; 
}
.pageHeaderBoxContent {
	padding: 0px 15px 12px 15px;
	font-family: Tahoma, Verdana, Arial, Helvetica;
	font-size: 20pt;
	font-weight: bold;
	color: #fff;
	background-color: #090;
}


.navBox { 
	background: #EEEEEE; 
}
.navBoxTop { 
}
.navBoxTop div { 
	font-size: 0;
	height: 15px; 
}
.navBoxBottom { 
	background-color: #eeeeee;
}
.navBoxBottom div { 
	font-size: 0;
	height: 15px; 
}
.navBoxContent {
	padding: 10px 15px 0px 15px;
	background-color: #EEEEEE;
	border-top: 1px solid black;
	font-size: 11pt;
}


.box { 
  background: #EEFFCC; 
}
.boxtop { 
}
.boxtop div { 
  font-size: 0;
  height: 10px; 
}
.boxbottom { 
}
.boxbottom div { 
  font-size: 0;
  height: 10px; 
}
.boxcontent {
  padding: 0px 10px 0px 10px;
}