body {
    margin: 25px 0 0 75px;
    width: 75%;
    text-align: justify;
}
a {
    color: #005689;   
}

a:visited {
    color: #005689;   
}

.code-caption {
    margin-top: 10px;
    text-align: center;   
    color: black;
}

.fig-caption {
    margin-left: 15px;
    margin-top: 10px;
    color: black;
}

pre {
    width: 65%;
    margin: 0 auto;
}

img {
    margin-left: 15px;   
}

.highlight {
    display: inline;
    
    background-color: yellow;
}

.note {
    font-style: italic;
    margin-top: 5px;
}

.li-spacing li {
    margin-bottom: 15px;   
}

.code {
    font-family: "courier";
    font-size: small;
}

div.nav-menu {
    font-weight: bold;
}

ul.nav-menu {
    margin-top: 5px;
}

h1 {
    color: white;
    padding: 15px;
    background-color: #4B1254;
}

h2, h3 {
    color: white;
    margin-bottom: 0px;
    background-color: #4B1254;
}

h2 {
    padding: 10px 10px 10px 15px;
}

h3 {
    padding: 5px 5px 5px 15px;
}

.back-link {
    font-size: 12px;
    margin-left: 5px;
/*    margin-top: 5px;*/
    display: block;
}

.prettyprint ol.linenums > li { list-style-type: decimal; }