body{
    font-family: Helvetica;
    font-size: 15px;
}
h1{
    font-size: 18px;
    font-weight: bold;
    border-bottom: 2px solid black;
    padding-bottom: 3px;
}
a{
    color: black;
}
.clear{
    clear: both;
}
.bold{
    font-weight: bold;
}
#container{
    width: 960px;
    margin:auto;
}
#content{
    padding-top: 13px;
}
#left{
    float: left;
    width: 540px;
}

#sidebar{
    float: right;
}

#header img{
    width: 50px;
    height: 50px;
    float: left;
}

#header{
    font-size: 28px;
    margin: 20px 0;
    font-weight: bold;
    height: 57px;
}

#header .title{
    margin: 7px 0 0 6px;
    display: inline-block;
}

#links{
    margin-top: 10px;
}

#links a{
    padding: 6px 15px;
    color: white;
    text-decoration: none;
    background-color: #000;
}

#links a:hover{
    color: black;
    background-color: white;
}

.aligned{
    margin-left: 57px;
}


ul{
    list-style-type: none;
    padding: 0;
}
ul li{
    padding: 5px 0;
}
ul li a{
    text-decoration: none;
    padding: 3px;
}
ul li a:hover{
    color: white;
    background-color: black;
}

.announcement{
    padding-top: 2px;
}
.announcement .title{
    font-weight: bold;
    font-size: 17px;
}

.announcement .date{
    font-weight: normal;
    font-size: 11px;
    padding: 3px 0 5px 11px;
}

.announcement .text{
    margin: 0; 
    margin-bottom: 25px;
}

.announcement .text p{
    margin: 10px 0;
}
.info{
    margin-top: 7px;
}

a.code{
    font-weight: bold;
}

#debugging{
    font-size: 15px;
	margin-left:10px;
	font-weight: bold;
}
#debugging ul{
	font-size: 13px;
    font-weight: normal;
	margin-left:5px;
}