/*****************************************/
/* the rules w/in this section should be */
/* common to the newer pages             */
#sidebar {
    -webkit-position: sticky;
    position: sticky;
    top: 0;
}
.sidebarSection.tableOfContents .headerLevel-0 {
    font-weight: bold;
}

.sidebarSection.tableOfContents .headerLevel-1 {
    font-weight: initial;
    padding-top: 0;
    padding-bottom: 0;
    list-style: initial;
}

.sidebarSection.tableOfContents .headerLevel-1 > li {
    font-size: 95%;
    margin-left: 15px;
    padding-left: 5px;
}

.sidebarSection.tableOfContents a {
    color: #002266;
}

.sidebarSection.tableOfContents a.current {
    color: #0022cc;
    text-decoration: underline;
}

.minihr {
    opacity: 50%;
}

a.toTop {
    color: #0000cc;
    text-decoration: underline;
    cursor: pointer;
}

a.toTop:hover {
    color: #0022ff;
}

#content a.button {
    text-decoration: none;
    background-color: #003399;
    color: white;
    padding: 8px 10px;
    border-radius: 5px;
}

#content a.button:hover, 
#content a.button:focus, 
#content a.button:active {
    background-color: #4b6a8d;
}


/*****************************************/

/* heading sizes are different from those on proposers' */
h2 {
    font-size: 170%;
}

h3 {
    font-size: 130%;
}

.lddList h4 {
    font-size: 115%;
}

.lddList > div {
    margin: 2em 0 1em;
}

.lddList p {
    margin-bottom: .4em;
}

.lddList div > ul {
    margin-bottom: .8em;
}

.lddList div > ul > ul{
    margin-bottom: .5em;
}

.sub-lddList {
    margin-left: 1em;
}

.lddList a {
    color: #002299;
}

.lddListToc {
    display: flex;
    flex-wrap: wrap;
    max-width: 45em;
    list-style: none;
    margin: .5em 0;
    border-radius: 1px;
    justify-content: space-between;
    padding: 0;
    text-align: center;
    border: 1px solid #333;
}

.lddListToc li {
    padding: 3px 5px;
    width: calc(15em - 12px);
    border: 1px solid #333;
}

.lddListToc a:hover {
    text-decoration: underline;
}

.versionsList li {
    margin-bottom: 1em;
}

pre {
    font-family: MONOSPACE;
}

.pulse-shadow {
    animation: pulse-shadow 1s ease-out 1;
}

@keyframes pulse-shadow {
    0%, 100% {
        box-shadow: none;
    }
    40%, 70% {
        box-shadow: 0 0 7px 3px #2f74a4;
    }
}