.nav {
    text-align: right;
    color: #62BDDB;
    font-size: small;
    font-family: Lato;
    }
.nactive {
    border-bottom: 1px dotted #38ACD2;
    background-color: lavender;
    color: blue;
    font-size: small;
    font-family: Lato;
    text-decoration: none;
    }
.ninactive {
    color: #62BDDB;
    font-size: small;
    }
.nlink {
    text-decoration: none;
    color: #62BDDB;
    font-size: small;
    }
.nlink:hover {
    background-color: lavender;
    border-bottom: 1px dotted #38ACD2;
    font-size: small;
    font-family: Lato;
    }
.inpage {
    text-decoration: none;
    color: #62BDDB;
    }
.inpage:hover {
    background-color: mistyrose;
    color: red;
    border-bottom: 1px dotted red;
    }
.levbar {
    position: absolute;
    top: 0px;
    left: 0px;
    width: 11em;
    height: 100%;
    border-right: 4px solid #62BDDB;
    border-bottom: 4px solid #62BDDB;
    background-color: #38ACD2;
    }
.main {
    position: absolute;
    left: 13em;
    width: 75%;
    }
h1,h2,h3,h4,h5 {
    border-bottom: 1px dotted #38ACD2;
    border-top: 1px dotted #38ACD2;
    background-color: whitesmoke;
    font-weight: normal;
    font-family: Lato;
    }
.pagetitle {
    border-top: 1px dotted #38ACD2;
    border-bottom: 1px dotted #38ACD2;
    padding-top: 5%;
    padding-bottom: 5%;
    margin-top: 5%;
    margin-bottom: 5%;
    text-align: center;
    width: 100%;
    color: gray;
    background-color: white;
    }
dt  {
    font-weight: bold;
    font-family: Lato;
    margin-top: 1%;
    }
th  {
    background-color: whitesmoke;
    text-align: left;
    font-family: Lato;
    }
td  {
    font-family: Lato;
    }
p   {
    font-family: Lato;
    font-size: small;
    }
.header {
    font-family: Lato;
    font-weight: bold;
    font-size: large;
    }
pre {
    font-family: Lato;
    font-size: small;
    }
.field  {
    background-color: whitesmoke;
    text-align: right;
    }
.levbarlist {
    list-style-type: none;
    padding: 5%;
    border-top: 1px dotted #38ACD2;
    border-bottom: 1px dotted #38ACD2;
    background-color: whitesmoke;
    }
.pkglist {
    padding-top: 2%;
    padding-bottom: 2%;
    list-style-type: circle;
    }
.letterlist {
    background-color: whitesmoke;
    }
.letterlist a {
    padding-left: 0.2em;
    padding-right: 0.2em;
    }
.footernote {
    text-align: right;
    font-size: small;
    font-family: Lato;
    background-color: whitesmoke;
    border-top: 1px dotted #38ACD2;
    color: gray;
    }
.repoview {
    text-decoration: none;
    color: gray;
    border-bottom: 1px dotted #38ACD2;
    font-size: small;
    font-family: Lato;
    }
.repoview:hover {
    background-color: lavender;
    border-bottom: 1px dotted #38ACD2;
    color: blue;
    font-size: small;
    font-family: Lato;
    }
.big {
    font-size: 1.2em;
}
.small {
    font-size: .7em;
}
.square {
    width: .7em;
    height: .7em;
    margin: .5em;
    display: inline-block;
}