@charset "utf-8";
/* CSS Document */
/* May 6th 2020 */

/* barebones, minimal markup */
/* let the browser and the user do the work */

body {
	font-family: Verdana, Arial, sans-serif;
	color: black;
	background-color: #FFF8E2;
	text-align: left;
	margin: 2rem 3rem 2rem 3rem;
	padding: 0;      
}
header {
	border-bottom-style: dotted;
}
h1 {
	font-family: Georgia, Palatino, Times New Roman, sans-serif;
	color: blue;
}
h1#index {
	color: red;
}
h2, h3 {
	font-size: 1rem;
	margin-bottom: -0.7rem;
}
h2.index-category {
	margin-top: 1.5rem;
}
h3.index-sub-category {
	font-style: italic;
}
p#subtitle {
	font-size: x-large;
	font-weight: bold;
	color: blue;
	margin-top: -1rem;
}
p#source {
	font-style: italic;
}
ul {
	list-style-type: none;
	font-weight: normal;
	margin-left: 0;
	padding-left: 0;
}
ul#constraints {
	font-size: 0.9rem;
}
footer {
	border-top-style: dotted;
}