@import url("https://fonts.googleapis.com/css?family=Roboto:300,400,500&display=swap");

body {
	font-family: "Roboto", sans-serif;
	font-weight: 300;
	display: flex;
	justify-content: center;
	font-size: 11pt;
	line-height: 160%;
}

main {
	flex: 1;
	max-width: 800px;
}

h1,
h2 {
	color: #4b5b69;
	font-weight: 400;
}

p {
	margin: 0;
	padding: 2pt 0;
}

.rules {
	ul {
		padding-left: 10pt;
	}
	li {
		margin: 10pt 0;
		list-style-type: none;
	}

	.depth-0 {
		font-weight: 500;
	}

	.depth-2 {
		padding-left: 20pt;
	}

	.depth-4 {
		padding-left: 40pt;
	}

	.depth-6 {
		padding-left: 60pt;
	}
}

.glossary {
	dt {
		font-weight: 500;
	}
	dd {
		margin-inline-start: 10pt;
		margin-bottom: 1rem;
	}
}

.toc {
	ul {
		display: flex;
		flex-direction: column;
		flex-wrap: wrap;
		max-height: 700pt;
	}

	& > ul > li {
		margin-bottom: 1rem;
	}

	a {
		color: #0d85ce;
		text-decoration: none;

		&:hover {
			color: #87c7ff;
		}
	}
}

@media (min-width: 960px) {
}