a { color: #009E60; font-weight: normal; } /* Shamrock green */
a:visited { color: #4CBB16; font-weight: normal; } /* Kelly green */
/* From https://stefanolomo.github.io/pandoc-styling/ */
div.theorem {
	background-color: #eec6c6;
	border: 2px solid #e00505;
	border-top: 5px solid #e00505;
	border-radius: 0 0 7px 7px;
	padding: 0 0.8rem 0.8rem 0.8rem;
	margin: 0 0.2rem 16px 0.2rem;
	p{
		margin-bottom: 10px;
	}
	p:last-of-type {
		margin-bottom: 0;
	}
}
div.def {
	background-color: #c4c3ff;
	border: 2px solid #376bb9;
	border-top: 5px solid #376bb9;
	border-radius: 0 0 7px 7px;
	padding: 0 0.8rem 0.8rem 0.8rem;
	margin: 0 0.2rem 16px 0.2rem;
	p{
		margin-bottom: 10px;
	}
	p:last-of-type {
		margin-bottom: 0;
	}
}
div.prop {
	background-color: #ffe4c3;
	border: 2px solid #f88400;
	border-top: 5px solid #f88400;
	border-radius: 0 0 7px 7px;
	padding: 0 0.8rem 0.8rem 0.8rem;
	margin: 0 0.2rem 16px 0.2rem;
	p{
		margin-bottom: 10px;
	}
	p:last-of-type {
		margin-bottom: 0;
	}
}
div.sourceCode{
	padding: 0.8rem;
	background-color: #000000;
	border: 1px solid #e5e5e5;
	pre.sourceCode{
		font-size: 0.8em;
		code.sourceCode{
			font-family: "Lilex Nerd Font Mono", monospace;
		}
	}
}
body {
	margin: auto;
    padding-right: 1em;
    padding-left: 1em;
    border-left: 1px solid black;
    border-right: 1px solid black;
    color: black;
	/* font-family: Lilex Nerd Font Mono;
    font-size: 85%;
    max-width: 55em; 
	 */
    font-family: Tex Gyre Schola;
    font-size: 95%;
    max-width: 40em;
    line-height: 140%;
    color: #333; 
}
h1 {
	border-bottom : 10px dotted #005f00;
	padding-bottom : 10px;
	text-align : center;
	color : black;
	font-size: 18pt;
	margin-top : 1vw;
}
h2 {
	font-variant : small-caps;
	border-bottom : 1px solid #4CBB16;
}
main {
	width : min(60em, 90vw);
	border-radius : 1vw;
	padding : 2vw;
	background-color : white;
	margin : auto;
	margin-bottom : 2vw;
}
table {
	border-collapse: collapse;
	border: 1px solid;
}
th {
	border: 2px solid;
}
td {
	padding : 10px;
	border: 1px solid;
}