@import url('https://fonts.googleapis.com/css2?family=Fira+Sans:ital,wght@0,400;0,500;0,600;1,400;1,600&display=swap');

body {
	margin-top: 2.5rem;
	padding: 0 0.75rem;
	font-size: 10pt;
	COLOR: black;
	font-family: 'Fira Sans', Verdana, Geneva, Arial, Helvetica, sans-serif;
	box-sizing: border-box;
}

body > a {
    margin-top: 1rem;
    color: #316a2f;
}

hr {
    height: 1px;
    background-color: #183518;
    border: none;
}

h2 {
    color: #316a2f;
}

h5 {
    margin-bottom: 0;
    font-size: 12pt;
    color: #316a2f;
}

.protHeader {
    display: inline-block;
    padding-bottom: 0.3rem;
    background-color: #316a2f;
    color: #fff6eb;
    border-top-left-radius: 0.3rem;
    border-top-right-radius: 0.3rem;
    text-transform: uppercase;
}

pre {
    overflow: scroll;
}

span.r0 {
    position: relative;
    display: block;
    width: max-content;
    background-color: #E6E6E6;
}

span.r1 {
    position: relative;
    display: block;
    width: max-content;
    background-color: white;
}

a span.r1 {
    display: inline-block;
}

.r0,
.r1 {
    padding-top: 0.4rem;
    padding-bottom: 0.4rem;
}