/* User Provided Stylesheet */

@import url('https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Quicksand:wght@300..700&display=swap');

root {
    --jp-ui-font-family: "QuickSand", sans-serif;
    --jp-code-font-size: 13px;
    --jp-private-code-span-padding: 1px;
}

html {
    font-family: "Inter", sans-serif;
    color: #006699;
}

.article {
    font-family: "QuickSand", sans-serif;
    font-weight: 500;
    font-size: 14px;
    text-align: justify;
}

.bg-stone-200\/10 {
    background-color: #e7f7ff!important;
}