.body {
    background-image: url(../images/back.png);
    background-repeat: repeat-x;
    background-color: #D5DEF1;
    color: #000000;
    margin: 0px;
    padding: 0px;
}

.body2 {
    background-color: #FFFFFF;
    color: #000000;
    margin: 20px;
    padding: 0px;
}

a:link {
    text-decoration: underline;
}

a:visited {
    text-decoration: underline;
    color: #5376AD;
}

a:hover {
    text-decoration: none;
    background-color: #CCCCCC;
    color: black;
}

.text {
    font-family: Verdana, Arial, Helvetica;
    font-size: 8pt;
    line-height: 12pt;
    text-align: justify;
}

.text2 {
    font-family: Verdana, Arial, Helvetica;
    font-size: 8pt;
    line-height: 12pt;
}

.captions {
    font-family: Verdana, Arial, Helvetica;
    font-size: 8pt;
    font-weight: bold;
    color: #555555
}

pre.codesample {
    font-family: monospace;
    background: silver;
    padding: 0.5em;
    border: none;
  }

.pub-repo-logo {
    margin-right: 2em;
}

a:hover.pub-repo-logo {
    background-color: white;
}

.centered {
    text-align: center;
}

nav>ul {
    list-style-type: none;
    left-margin: 0;
    right-margin: 0;
    padding: 0;
}

nav>ul>li {
    font-weight: bold;
    display: inline;
}

nav>ul>li:after {
    content: " | ";
}

nav>ul>li:last-child:after {
    content: "";
}