#overlay {
}

.overlay-hidden {
    display: none;
}

.overlay-visible {
    position: absolute;
}


.pagenum {
    user-select: none;
}

header {
    position: fixed;
    top: 0;
    left: 0;
    background-color: white;
    font-size: 14px;
    font-family: 'Courier New', monospace;
}

header a {
    margin-left: 10px;
    color: rgb(0, 119, 204) !important;
    text-decoration-color: currentColor !important;
    text-decoration-line: underline !important;
}

header button {
    margin-left: 10px;
    display: block;
    margin-top: 10px;
}

body.hidden * {
    visibility: hidden !important;
}

#header, #header *,
body.hidden .highlighted,
body.hidden .highlighted * {
    visibility: visible !important;
    opacity: 1;
    pointer-events: auto;
}

.highlighted {
    background: yellow;
}

.clicked-highlight {
    text-decoration: underline;
}