pre {
    font-family: var(--mono-font);
    padding: 1.25rem;
    border-radius: var(--standard-border-radius);
    border-style: solid;
    border-color: var(--overlay0);
    border-width: 0.15rem;
    line-height: initial;
    overflow-x: scroll;

    &>code {
        background-color: initial;
        border: initial;
    }
}

code {
    font-family: var(--mono-font);
    background-color: var(--mantle);
    padding: .2rem;
    border-radius: .3rem;
    border-style: dashed;
    border-width: .1rem;
    border-color: var(--surface0);
}