@import url(http://fonts.googleapis.com/css?family=Source+Sans+Pro:200,300|Source+Code+Pro:300|Roboto+Condensed:300);

html {
    background: #BBBBBB;
    font-family: 'Source Sans Pro', sans-serif;
}

pre, samp, code, tt, kbd {
    font-family: 'Source Code Pro', monospace;
    color: rgb(22, 22, 22);
}

body {
    background: rgb(242, 242, 242) none repeat scroll 0 0;
    border: 1px solid #333333;
    margin: 0.5rem auto;
    max-width: 800px;
    padding: 0.5rem;
    color: rgb(22, 22, 22);
}

#content {
    padding: 0px 30px 0px 30px;
}

#content h1 {
    font-size: 30pt;
    margin-bottom: -15px;
}

#teammembers {
    margin : auto;
    width : 90%;
}

#teammembers td {
    padding: 20px 10px 0px 10px;
    text-align: center;
    margin : auto;
    width : 20%;
}

#teammembers img {
    margin : auto;
}

#content p {
    padding: 0pt 4pt 0pt 4pt;
}

.title {
    text-align: center;
}

#logo {
    margin:auto;
}

hr {
    height:2px;
    border-width:0;
    background: #BBBBBB;
    width: 90%;
}

#navmenu {
    margin-left:auto;
    margin-right:auto;
}

#navmenu td {
    padding : 0px 10px 0px 10px;
    font: normal 200 14pt 'Roboto Condensed', sans-serif;
}

h1 {
    margin: 0px 0px -10px 0px;
    font: normal 300 36pt 'Roboto Condensed', sans-serif;
    color: #AA1111;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    text-decoration: none;
    color: #AA1111;
}

h1.title {
    color: #AA1111;
    font-size: 90pt;
    margin: 30px 0px -30px 0px;
}

h2.title {
    font: normal 300 25pt 'Roboto Condensed', sans-serif;
    margin: 10px 0px 10px 0px;
}

h2.author {
    margin: 0px;
    font: normal 300 30pt 'Roboto Condensed', sans-serif;
    color: rgb(22, 22, 22);
    margin: -15px 0px 0px 0px;
}

h3.date {
    font: normal 300 20pt 'Roboto Condensed', sans-serif;
    margin: 0px;
}

#TOC {
    font-size: 14pt;
}

a {
    text-decoration: none;
    color: #AA1111;
}

h5, h6 {
    text-decoration: underline;
}

#TOC ul {
    padding-left: 1em;
}

#TOC > ul {
    padding-left: 0em;
    margin: 0px;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    padding-left: .5em;

}

#TOC li {
    list-style-type: none;
}

.src-label {
    color: #AA1111;
}

ol li p {
    padding: 0em;
    margin: 0px 0px .25em 0px;
}

#releasetable {
    margin: auto;
    width: 90%;
    margin-top: 20px;
    border: 1px solid black;
    text-align: center;
    border-collapse: collapse;
}

#releasetable td {
    border: 1px solid black;
}

#releasetable th {
    background: #DDDDDD;
    border: 1px solid black;
}

.publication-box {
    margin: auto;
    padding : 0px 10px 0px 10px;
    width: 90%;
    margin-top: 15px;
}

.publication-box blockquote {
    margin: 5px 20px 5px 20px;
}

.publication-box h2 {
    font-weight: normal;
    margin: 0px 0px 0px 0px;
}

.publication-box p {
    font-weight: normal;
    margin: 0px 0px 0px 10px;
}

#publications {
    margin: 10px 0px 0px 0px;
}