@import url('https://fonts.googleapis.com/css2?family=Montserrat:ital,wght@0,100..900;1,100..900&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Red+Hat+Text:ital,wght@0,300..700;1,300..700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@300;400;500;600;700&display=swap');

/* Change the font for the entire body */
body {
    font-family: "Montserrat", sans-serif;
    font-weight: 400;
    font-optical-sizing: auto;
}

p {
  font-size: 14px;
}

/* Change the font for headings */
h1, h2, h3, h4, h5, h6 {
    font-family: "Montserrat", sans-serif;
    font-weight: 400;
    font-optical-sizing: auto;
}

h1 {
  font-size: 32px;
}

h2 {
  font-size: 25px;
}

h3 {
  font-size: 20px;
}

.highlight {
    font-family: "IBM Plex Mono", serif;
    background: #eeffcc
}

.highlight > pre {
    font-family: "IBM Plex Mono", serif;
}

.highlight > pre > span {
    font-family: "IBM Plex Mono", serif;
}