@import url('https://fonts.googleapis.com/css2?family=Comic+Neue:ital,wght@0,300;0,400;0,700;1,300;1,400;1,700&display=swap');

* {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

html {
    background-color: coral;
    font-family: "Comic Neue", cursive;
}

.text-with-gif-container {
    display: flex;
    gap: 5px;
}

.center {
    display: flex;
    align-items: center;
    justify-content: center;
}

.paragraph {
    margin-bottom: 1.5rem;
}

body {
    margin-top: 1rem;
    margin-left: 20rem;
    margin-right: 20rem;
}

hr {
    margin-bottom: 1rem;
}

h1 {
    font-size: 4rem;
}

p {
    font-size: 1.5rem;
}


.katex-display {
    font-size: 1.3em !important;
}

.two-column {

}