div.toc {
    li{
        display: inline;
        padding-left: 0.4em;
        padding-right: 0.4em;
    }
}
ul.nav {
    text-align: center;
    margin:0;
    padding:0;
    li {
        display: inline;
        padding-left: 1em;
        padding-right: 1em;
        border-left: 1px solid #888;
        border-right: 1px solid #888;
    }
}
details.nav {
    display: inline;
}