body 
{
	margin:0;
	padding:0;
	width:725px;
	background-image:url('http://massiveanalytics.com/images/grad.png');
	background-repeat: repeat-x;
	color:#222;
	font-family:"Courier New",Courier,monospace;
	font-size:12px;
}
#header 
{
	//background:#000;
	//padding:5px 10px;
	margin-left:10px;
}
#title 
{
	padding-left: 10px;
	//padding-bottom: 10px;
	padding-top: 5px;
}
#container 
{
	//width:725px;
	margin:0 auto;
}
#left 
{
	float:left;
	padding-left:10px;
	padding-top:10px;
	margin-right:23px;
}
#right 
{
	float:right;
	max-width:425px;
	padding-right:25px;
	//padding:10px;
	padding-top:10px;
	padding-bottom:5px;
	//line-height:225%;
	line-height:175%;
}
.code
{
	margin-top: 10px;
	//margin-bottom: 15px;
	//background:#fff;
}
#footer 
{
	padding-left: 10px;
	padding-top: 5px;
	width:725px;	
}
#footer a
{
	font-weight: bold;
	padding-right:10px;
}

.pop
{
	font-size: 130%;
	font-weight: 900;
	color: black;
}
.green
{
	color: green;
}
.console
{
	padding-top: 18px;
	padding-bottom: 18px;
	background-color: black;
	color: #00cc00;
}
.space-right
{
	margin-right:30px;
	margin-top:10px;
}
a:link { color:green; text-decoration:underline; }
a:visited { color:green; text-decoration:underline; }
a:hover { color:#0a0; text-decoration:underline; }
a:active { color:#0a0; text-decoration:underline; }
.button
{
}
a.button:link { text-decoration:none; border:0px;}
a.button:hover { color:green; text-decoration:none;}
hr { color:black; background: black; height: 1px;}

.download-table
{
    font-size: 12px;
    margin: auto;
    border: 0;
}

.download-table td
{
    text-align: center;
    padding-left: 25px;
    padding-right: 25px;
    padding-top: 5px;
    padding-bottom: 5px;
    border: 0;
}

.license-table
{
    font-size: 12px;
    width: 100%;
    border: 1px solid black;
    border-collapse: collapse;
}

.license-table tr, .license-table th, .license-table td
{
    text-align: left;
    padding: 5px;
    border: 1px solid black;
}

.license-table th
{
    font-family: arial,helvetica,sans-serif;
    font-weight: bold;
    background-color: #ffffff;
}