.menu {
    background-color: #01344E;
    padding: 0 16px;
}

.menu a:link {
    display: block;
    padding: 8px;
}

.menu a:hover {
    background-color: rgba(6,28,63,1);
}

.menu a:link,
.menu a:visited {
    color: #eee;
}

.checklist {list-style: none; margin-left: 2em}
.checklist li::before, .checklist li>div:before {
    content: '✓';
    display: inline-block;
    width: 1.25em;
    margin-left: -1em;
}

.errorlist::before {
    content: '✘' !important;
    color: #91261c !important; /* Darker Pantone Fiesta Summer '19 */
}

.button-link {
    background: none;
    border: none;
    margin: .25em 0 .25em .35em;
}

.button-tab {
    border-bottom: 1px solid #dddbda;
}