body {
	background: #f4f4f4 url(/images/bg.gif) top center repeat-y;
	margin: 0;
	padding: 0;
	overflow-y: scroll; /* remove it when scrollbar appears */
    text-align: center;
}

.container {
	margin: 0 auto;
	text-align: left;
    width:780px;
}

h1 {
	font-size: 16pt;
	font-family: Arial inherit;
}

h2 {
	font-size: 12pt;
	font-family: Arial inherit;
}

#intro h2 {
    padding-top: 1em;
}

.link-list {
    margin-left: 1em;
    margin-top: 0.5em;
    list-style: none;
    padding: 0;
}

.header {
}

.menu {
	background: #63a7f2;
	font-size: 18px;
	line-height: 40px;
}

.menu li {
	display: inline;
	list-style-type: none;
}

.navlink {
	color: white;
	text-decoration: none;
	padding: 10px 20px 10px 20px;
	
}

.navlink:hover, .selected {
	background: #f7cb33;
	color: white;
}

.content {
	padding: 5px 20px 5px 20px;
}

.footer {
	clear: both;
	background: #63a7f2;
	font-size: 14px;
	text-align: center;
	color: white;
}

.logo {
	border: none;
}

.logo-link {
	display: block;
	width: 220px;
	padding: 10px 0 0 10px;
}

.left-col {
	float:left;
	width:72%;
}

.right-col {
	float:right;
	width:20%;
        font-size: smaller;
}

.screenshot {
	padding: 10px 0 20px 0;
}

.arrow {
    padding:0 0 25px 0;
}

.support-label {
	padding-right: 10px;
    text-align: right;
}

.support-txt {
	width: 500px;
}

.release-title {
	margin-top: 3em;
}

.code-small {
    border: dashed 1px #999;
    background: #ffffee;
	color: #black;
	font-size: x-small;
	padding: 20px 10px;
}
.code, .python-code, .java-code {
    margin-top: 0;
    margin-bottom: 1em;
    border: dashed 1px #999;
    background: #ffffee;
	color: #black;
	font-size: 10pt;
	padding: 20px 10px;
}

.normal-code {
    margin-top: 0;
    margin-bottom: 1em;
    border: dashed 1px #999;
    background: #ffffee;
	color: #black;
	padding: 20px 10px;
}

.articles h2 {
	margin: 2em 0 0 0;
	font-size: 14pt;

}

.articles h3 {
	margin-bottom: 0;
	font-size: 12pt;
	font-family: Arial inherit;
}