html {
	width: 100vw;
}

body {
	background-color: black;
	margin: auto;
	width: 60%;
	color: white;
	font: 10pt Verdana;
	overflow-x: hidden;
}

h2 {
	font-size: 24pt;
	font-weight: bold;
}

h3 {
	font-size: 18pt;
	font-weight: bold;
}

h4 {
	font-size: 12pt;
	font-weight: bold;
	text-decoration: underline;
	margin-top: 12px;
	margin-bottom: 12px;
}

hr {
	border: 1px solid white;
}

ul {
	margin-top: 0px;
	margin-bottom: 4px;
}

ul#contents {
	margin-bottom: 32px;
}

a {
	color: white;
	font-weight: bold;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

div.desc {
	text-align: justify;
}

div.prop_name {
	font-weight: bold;
}

div.prop_desc {
	padding-left: 24px;
	margin-bottom: 4px;
	text-align: justify;
}

div.indent {
	padding-left: 24px;
}