a {
    text-decoration: underline;
    color: var(--text-color);

    &:visited {
        color: var(--text-color);
    }

    &.button-style {
        max-width: 120px;
        border: 1px solid rgba(0,0,0,0.2);
        display: inline-block;
        padding: 10px;
        border-radius: 8px;
    }
}

hr {
    border: 0;
    border-bottom: 1px dashed var(--divider-color);
    outline: none;
    width: 50%;
}



h1 {
    font-size: 20px;

    &.with-nav {
        display: flex;
        justify-content: space-between;
        align-items: center;
    }

    &.with-nav .inline-btn {
        display: inline-block;
        padding: 10px;
        text-decoration: none;
    }
}

h2 {
    font-size: 18px;
}

h3 {
    font-size: 14px;
}

h4 {
    font-size: 12px;
}

pre {
    white-space: break-spaces;
}

button {
    display: block;
    background-color: transparent;
    border: 1px solid #000;
    font-family: "Times New Roman", serif;
    text-transform: uppercase;
    font-size: 0.7rem;
    font-weight: bold;
    padding: 0.5rem;
    color: #666;
}

button:hover {
    cursor: pointer;
    text-decoration: underline;
}

button.positive {
    background-color: #b4e2a045;
}