@import 'sitewide_constants.css';

div.definition {
    margin-top: 1em;
    margin-bottom: 1em;

    dt {
        a {
            color: inherit !important;
        }
    }
    dd {
        margin-bottom: 0;

        p {  /* they'll be pasting in HTML even if they don't mean to, s their content will have P in it */
            margin-bottom: 0;
        }
    }

    &.highlighted {
        background-color: var(--lighterblue);

        padding: 1em;
    }
}