body 
{
    min-width: 800px;
    margin: 0 3%;
    background: #fff;
    color: #000;
    font-family: verdana, arial, sans-serif;
    font-size: 70%;
}
h2 
{
    font-size: 150%;
    margin: 0;
}
h3 
{
    font-size: 100%;
    margin-top: 0;
}
h4 
{
    font-size: 140%;
    margin-top: 0;
}
a 
{
    text-decoration: none;
}
ul 
{
    margin-left: 5px;
    margin-right: 0;
    padding-left: 10px;
    padding-right: 0;
    padding-top: 4px;
}
li 
{
    padding-left: 0;
    padding-bottom: 4px;
}
code
{
	font-size: 140%;
}
pre
{
	font-size: 115%;
}
.hide 
{
    display: none;
}
#header 
{
    padding: 10px;
    border-bottom-right-radius: 6px;
    border-bottom-left-radius: 6px;
    box-shadow: 0 3px 1px #ccc;
    background: #383838;
    color: #fff;
    height: auto;
    
    background: #45484d; /* Old browsers */
background: -moz-linear-gradient(top, #45484d 0%, #000000 100%); /* FF3.6+ */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#45484d), color-stop(100%,#000000)); /* Chrome,Safari4+ */
background: -webkit-linear-gradient(top, #45484d 0%,#000000 100%); /* Chrome10+,Safari5.1+ */
background: -o-linear-gradient(top, #45484d 0%,#000000 100%); /* Opera 11.10+ */
background: -ms-linear-gradient(top, #45484d 0%,#000000 100%); /* IE10+ */
background: linear-gradient(to bottom, #45484d 0%,#000000 100%); /* W3C */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#45484d', endColorstr='#000000',GradientType=0 ); /* IE6-9 */
}
#navigation 
{
    margin: 20px 5px;
    font-weight: bold;
}
#footer
 {
    clear: both;
    text-align: center;
    border-radius: 3px;
    background: #ccc;
    color: #000;
    padding: 10px;
    margin: 20px 0 0 0;
}
#container 
{
    border-radius: 5px;
    margin: 10x auto 20px auto;
}
#col_1 
{
    margin-left: 220px;
    margin-bottom: 10px;
    border-radius: 5px;
}
#col_1  h2 
{
    border: 1px solid #FFB3B3;
    border-radius: 3px;
    background: #ffcfcf;
    color: #000;
    padding: 8px;
    margin-bottom: 10px;
    font-style: italic;

}
#col_1  .info_box 
{
    border-radius: 3px;
    background: #efefef;
    color: #000;
    padding: 10px;
    margin-bottom: 10px;
    vertical-align: top;
    border: 1px solid #dedede;

}
#col_1  .info_box .code
{
	overflow: auto;
	background: #fff;
    color: #000;
	padding: 10px;
	border: 1px solid #dedede;
}
#col_1  .info_box .changelog
{
	overflow: auto;
	background: #fff;
    color: #000;
	padding: 10px;
	border: 1px solid #dedede;
    font-size: 120%;
    height: 400px;
}
#col_1  .info_box .source
{
	overflow: auto;
    height: 800px;
	background: #fff;
    color: #000;
	padding: 10px;
	border: 1px solid #dedede;
}
#col_2 
{
    float: left;
    width: 200px;
    padding: 5px;
    background: #efefef;
    color: #000;
    margin-bottom: 10px;
    border-radius: 3px;
    border: 1px solid #dedede;
}
#col_2  h3 
{
    border-radius: 3px;
    background: #ddd;
    color: #000;
    padding: 5px;
    font-weight: bold;
    margin-bottom: 10px;
}
#col_2 div 
{
    padding: 2px 1px;
}
#col_2 div.active,
#col_2 div:hover 
{
    background: #ffcfcf;
}