.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: 4em;
}

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