@import url("https://fonts.googleapis.com/css2?family=PT+Serif:ital,wght@0,700;1,400&family=Source+Sans+Pro:ital,wght@0,400;0,700;1,400;1,700&display=swap");/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */

body {
    font-family: 'Source Sans Pro', sans-serif;
    --bs-font-size: .8rem;
    /* --bs-body-line-height: 1.3; */
    line-height: 1.3;
}

pre {
    font-size: .8em;
}

h1, h2, h3, h4, h5 {
    font-weight: normal;
    font-family: 'PT Serif', serif;
}

nav.bd-links {
    li > a {
        padding: .1em .65em;
    }
}

.alerted {
    background-image: linear-gradient(to bottom, #d9edf7 0, #b9def0 100%);
}