@import url('https://fonts.googleapis.com/css?family=Crimson+Text:400,400i,700');

a {
    color: rgb(47, 47, 173);
    text-decoration: none;
}

p span.katex {
    font-size: 1.125rem;
}

a:visited {
    color: rgb(108, 0, 112);
}

a:hover {
    text-decoration: underline;
}

body {
    font-family: 'Crimson Text', serif;
    font-size: 1.125rem;
}

div#root {
    margin-bottom: 30px;
}

#root p, #root h1, #root h2, #root h3, #root ul, #root ol, #root > div {
    max-width: 700px;
    margin-left: auto;
    margin-right: auto;
}

#root > div > div {
    margin-top: 50px;
    margin-bottom: 50px;
}

#root h1, #root h2, #root h3 {
    margin-top: 20px;
    margin-bottom: 20px;
}

#root > div.popout {
    max-width: 900px;
    margin: 40px auto;
}

.katex {
    font-size: 1em;
}

p {
    line-height: 1.4em;
}

p strong {
    line-height: 0;
    font-weight: bold;
}

.rv-xy-plot {
    font-family: Helvetica, sans-serif
}