/**************************************
 *   Style
 **************************************/

html, body {
    background-color: #ffffff;
    margin-top: 0px;
    font-family: Arial, Sans-Serif;
    font-style: normal;
    font-weight: normal;
    font-size: 1em;
}

h2.title {
	border-bottom: 1px solid #ccc;
	margin-bottom: 0px; # 8px
}

div.center {
    .text-align: center;
    background-color: #ffffff;
    margin: 0px auto 0 auto;
    width: 85%;
}

div.footer {
    font-size: 0.75em;
}

tt.code {
	color: #888888;
}

li {
	padding-bottom: 10px;
}

pre.code {
	width: 95%;
	padding: 10px;
}

.code {
	background: #eeeeee;
	border: 1px solid #ccc;
}

table.download_tarballs {
	border-collapse: collapse;
	table-layout: auto;
	border: 1px solid #ccc;
}

.download_tarballs .odd th, .download_tarballs .odd td {
	background-color: #eee;
}

table.title-summary {
	background-color: #ffffff;
	border-right: 1px solid #cccccc;
	border-left: 1px solid #cccccc;
	border-bottom: 1px solid #cccccc;
	float: right;
	margin: 0 0 10px 10px;
	width: auto;
	font-size: 0.8em;
	text-align: center;
}

.title-summary td {
	width: 150;
}

.title-summary a {
	background-color: #ffffff;
	margin: 10px 0 0 0;
	display: block;
	padding: 6px;
	color: #525252;
	text-decoration: none;
}

.title-summary p {
	margin: 0 0 10px 0;
}

/**************************************
 * Header
 **************************************/

table.header {
    width: 100%;
    height: 118px;
    margin-left: auto;
    margin-right: auto;
}

table.header td.title {
    background: #000000;
}

table.header td.menu {
    width: 150;
    background: #ffffff;
    border-left: 1px solid #cccccc;
    border-right: 1px solid #cccccc;
    border-bottom: 1px solid #cccccc;
	margin-right: 1px;
}

table.header td.selected-menu {
    width: 150;
    background: #000000;
    color: #ffffff;
    border-left: 1px solid #ffffff;
    border-right: 1px solid #ffffff;
}

a.menu:link {
	color: #8f8f8f;
	Text-decoration: underline;
	font-weight: normal;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 100%;
}

a.menu:visited {
	color: #8f8f8f;
	Text-decoration: underline;
	font-weight: normal;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 100%;
}

a.menu:hover {
	color: #525252;
   	font-family: Arial, Helvetica, sans-serif;
}