body{
    font-family: monospace;
    font-size: 0.875rem;
    line-height: 1.45;

}
a{
    color: var(--c-link);
}
a:hover{
    font-weight: bold;
}
p{
    margin: 0.5rem 0;
}


h1,h2{
    font-weight: bold;
}
hr{
    border: 0;
    border-top: 1px solid black;
    margin: 1rem 0 1rem;
}
hr:last-of-type{
    display: none;
}

strong{
    font-weight: bold;
}
label{
    font-weight: bold;
}

input, button, label{
    font-family: monospace;
    display: block;
    font-size: 0.875rem;
}
label, input{
    display: inline-block;
}

#save-buttons{
    position: fixed;
    top: 0.5rem;
    right: 0.5em;
}
#save-buttons > input,
#save-buttons > button, 
#save-buttons > label{
    margin-bottom: 0.5rem;
    margin-left: auto;
}

.double-font{
    height: 100vh;
    display: grid;
    grid-template-rows: 1fr 1fr;
    gap: 1rem;
    margin: 0;
}
.double-font > div{
    background-color: white;
    border: 1px solid black;
    overflow: auto;
    padding: 1rem;
    font-family: monospace;
    font-size: 1rem;
}
.f-ascii{
    font-family: monospace;
    font-size: 1rem;
}


/* autofix colors */
.fix-label{
    border-bottom: solid limegreen 3px;
}
.fix{
    outline: 1px solid limegreen;
}
span.fix{
    outline: none;
    color: limegreen;
    font-weight: bold;
}


svg{
    overflow: visible;
}