html {
    line-height: 30pt;
}

.revhistory {
    font-size: 16pt;
}

.revhistory .title {
    text-align: left;
    font-weight: normal;
}

.toc {
    line-height: 150%;
}

.book > .list-of-titles > .lot > .title {
    font-size: 30pt;
}

.book > header {
    text-align: center;
}
    
main {
    max-width: 80%;
    font-size: 24pt;
    margin-bottom: 36pt;
}

.annotations {
    font-size: 24pt;
}

.annotation-header .annotation-close {
    font-size:80%;
}

h1 {
    margin-top: 1rem;
}

.extended-link .source {
    border-bottom: 1px dotted black;
}

nav.top {
    padding-left: 1em;
    border-bottom: 1px solid #7f7f7f;
}

nav.bottom table {
    display: none;
}