@import url("fonts.css");
body, section, article {
	background-color: rgb(18, 18, 18);
	color: WhiteSmoke;
	font-family: GentiumBookPlusW;
}
h1, h2, h3, h4, h5, h6 {
	font-family: GentiumPlusW;
}
.jump-toc {
	font-size: 40%;
	text-decoration: none;
	vertical-align: super;
}