html, body {
	font-family: sans-serif;
	font-size: 20px;
	margin: 0px;
}

a {
	color: #5b57a6;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

p {
	hyphens: auto;
	line-height: 1.3;
	text-align: justify;
	text-justify: distribute;
}

h1 {
	margin-top: 0;
	font-weight: normal;
	font-size: 50px;
}

.topbox, .contentbox-light, .contentbox-bright, .contentbox-dark, .contentbox-source {
	padding-left: 12%;
	padding-right: 12%;
	overflow: auto;
}

.topbox {
	padding-top: 25px;
	padding-bottom: 25px;
	border-bottom: 2px solid #00bff3;
}

.contentbox-light, .contentbox-bright, .contentbox-dark {
	padding-top: 60px;
	padding-bottom: 60px;
}

.contentbox-bright {
	background-color: #00bff3;
	color: white;
}

.contentbox-dark {
	color: white;
	background-color: #2e3192;
}

.contentbox-dark a {
	color: #00bff3;
}

.contentbox-source {
	background-color: #f4f4f4;
	font-family: monospace;
	font-size: 16px;
	left: 0;
	margin-top: -50px;
	margin-bottom: -50px;
	padding-bottom: 10px;
	padding-top: 10px;
	white-space: pre;
}

.source {
	font-family: monospace;
}