@import url('https://fonts.googleapis.com/css2?family=Noto+Serif:ital,wght@0,100..900;1,100..900&family=Roboto:ital,wght@0,100..900;1,100..900&display=swap');

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-Light.woff2') format('woff2');
  font-weight: 300;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-LightItalic.woff2') format('woff2');
  font-weight: 300;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-RegularItalic.woff2') format('woff2');
  font-weight: 400;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src:
    url('/assets/juliamono/JuliaMono-Medium.woff2') format('woff2');
  font-weight: 500;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-MediumItalic.woff2') format('woff2');
  font-weight: 500;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-SemiBold.woff2') format('woff2');
  font-weight: 600;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-SemiBoldItalic.woff2') format('woff2');
  font-weight: 600;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src:
    url('/assets/juliamono/JuliaMono-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-BoldItalic.woff2') format('woff2');
  font-weight: 700;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-ExtraBold.woff2') format('woff2');
  font-weight: 800;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-ExtraBoldItalic.woff2') format('woff2');
  font-weight: 800;
  font-style: italic;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-Black.woff2') format('woff2');
  font-weight: 900;
  font-style: normal;
}

@font-face {
  font-family: 'JuliaMono';
  src: url('/assets/juliamono/JuliaMono-BlackItalic.woff2') format('woff2');
  font-weight: 900;
  font-style: italic;
}

:root {
  --verso-structure-font-family: 'Roboto', sans-serif;
  --verso-text-font-family: "Noto Serif", serif;
  --verso-code-font-family: 'JuliaMono', monospace;
}

html {
  overflow-y: scroll;
}

.with-toc #toc {
  overflow-y: scroll;
}

img {
  width: 100%;
}