body { 
	color: #000000;
	background: #FFFFFF;  	
	font-size: 9pt;
	font-family: Verdana, Arial, Sans Serif;
	margin: 7pt;
}

a:link, a:visited {
  color: #0066CC;
  text-decoration: underline;
}

a:active, a:hover {
  color: #3399FF;
  cursor: hand; 
  text-decoration: underline;
}

h1
		{ font-size: 125%; 
		margin-bottom: .5em; clear:both; }

h2
		{ font-size: 110%;  
		margin-top: 1.5em;
		margin-bottom: .5em; clear:both; }

h3
		{ font-size: 100%; 
		margin-top: 1.2em;  
		margin-bottom: .5em; clear:both; }

h4
		{ font-size: 100%; 
		margin-top: 1.2em;  
		margin-bottom: .5em; clear:both; }

h5
		{ font-size: 100%; 
		margin-top: 1.2em;  
		margin-bottom: .5em; clear:both; }

p
		{ margin-top: .0em; 
		margin-bottom: .6em; }
			
ol
		{ margin-top: .5em; 
		margin-bottom: 0; 
		margin-left: 2.1em; 
		padding-left: 0em;
		margin-right: 2.1em }
	
ul
		{ margin-top: .6em; 	
		margin-bottom: 0;
		list-style-type: disc;
		margin-left: 1.5em;
		padding-left: 0em;
		margin-right: 1.5em; }
		
li
		{ margin-bottom: .7em; }

dd
		{ margin-bottom: 0; 
		margin-left: 1.5em; } 

pre {
	font-family: Courier New, Courier, mono;
	font-size: 9.75pt;
	background-color: #F8F8F8;
	border: 1px solid #DDDDDD;
	padding: 0.3em;
	margin-top: 1em;
	margin-right: 1em;
	margin-bottom: 1em;
	margin-left: auto;
}

code
		{ font-family: Courier New; 
		font-size: 1.1em; }

table
		{ font-size: 100%;
		margin-top: 1em; 
		margin-bottom: 1em; }
		
table.text {
	border: 1px solid #DDDDDD;
  background: #EEEEEE;
  padding-left: 0.5em;
	margin-right: 1em;
}

table.column { 
  margin-top: 0em; 
  margin-bottom: 0.6em;
}

th
		{ text-align: left;
		background: #DDDDDD;
		vertical-align: bottom;}
		
tr
		{ vertical-align: top; }

td.text
		{ background: #EEEEEE;
		vertical-align: top; }


table.tutorial { 
  margin-top: 0em; 
  margin-bottom: 0em;
  cell-spacing: 0em;
}

table.bar { 
  margin-top: 0em; 
  margin-bottom: 0.5em; 
  border: 1px solid #DDDDDD;
  background: #EEEEEE;
}

td.tutorial { padding: 4px; background: #EEEEEE; }

img.tutorial { 
  margin-top: 10px;
  margin-bottom: 10px;
}

/* Note: ul.steps doesn't use list-style-image because you can't set the size for High DPI */

ul.steps {
  margin-top: .6em;
  margin-bottom: 0;
  list-style-type: none;
  margin-right: 1.5em;
	margin-left: 0;
}

ul.steps li {
	background: url(arrow@2x.gif) no-repeat;
	background-size: 6pt;
	padding-left: 1.5em;
}

ul.steps ul li {
	background: none;
	padding-left: 0;
}

img.illustration { 
  border-color: #000000;
  border-width: 1;
  border-style: solid;
  margin-left: 10;
  margin-right: 10;
  margin-bottom: 10;
}

div.platform, span.platform {
  color: #808080;
  margin-right: 4px;
  font-style: italic;
}

td.editions {
  border-top: solid 1px #E0E0E0;
  padding: 2px 0px;
}

body.welcome {
  margin: 0;
}

div.welcome-body {
  margin-top: 12pt;
  margin-right: 7pt;
  margin-bottom: 7pt;
  margin-left: 7pt;  
}