#navbar, .content {

    margin-bottom: 2em;
}

#navbar {
    float: left;
    width: 12em;
    padding: 0.25em;
}

.content {
    border: 1px solid #c0fff0;
    background: #f8ffff;
    margin-left: 13em;
    padding: 0.5em;
}

ul.nav {
    list-style-type: none;
    padding: 0em;
}

#header {
    text-align: center;
}

body {
    margin:0 20%;
    line-height: 1.5em;
}

#navbar ul {
    padding-left: 1.5em;
}

.content li {
    padding-bottom: .5em;
}

h2 {
    font-size: 125%;
}

.code {
    font-family: monospace;
    line-height: 1.1em;
}

pre {
    line-height: 1.1em;
}

.publication-date {
    margin: 1em;
}

input.margin-toggle { display: none; }

/* label.sidenote-number { display: inline; } */

/* label.margin-toggle:not(.sidenote-number) { display: none; } */

.sidenote, .marginnote { float: right;
                         clear: right;
                         margin-right: -30%;
                         /* margin-left: 10%; */
                         width: 20%;
                         /* display: inline-block; */
                         /* adding display: inline-block means I have to remove the width.
                            But removing the width entirely seems to make the rendered width what I
                            want it to be. I just need to position it in the right place.
                           */


                         /* margin-top: 0; */
                         /* margin-bottom: 0; */
                         /* font-size: 1.1rem; */
                         /* line-height: 1.3; */
                         /* vertical-align: baseline; */
                         /* position: relative; */
                         /* border: 1px solid #c0fff0; */
                         /* background: #f8ffff; */
                       }

.sidenote-number {
    counter-increment: sidenote-counter;
}


.sidenote-number:after, .sidenote:before {
    content: counter(sidenote-counter) " ";
    /* font-family: et-book-roman-old-style; */
    position: relative;
    vertical-align: baseline;
}

.sidenote-number:after { content: counter(sidenote-counter);
                         font-size: 0.8rem;
                         top: -0.5rem;
                         left: 0.1rem; }

.sidenote:before { content: counter(sidenote-counter) " ";
                   top: -0.25rem; }

blockquote .sidenote, blockquote .marginnote { margin-right: -82%;
                                               min-width: 59%;
                                               text-align: left; }

body { /* width: 87.5%; */
       /* margin-left: auto; */
       /* margin-right: auto; */
       /* padding-left: 12.5%; */
       /* font-family: et-book, Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif; */
       /* background-color: #fffff8; */
       /* color: #111; */
       /* max-width: 1400px; */
    counter-reset: sidenote-counter; }