html
{
	font-family: "Times New Roman", Times, serif;
	font-size: 133%;

	padding-bottom: 3%;
}

header
{
	position: fixed;
	top: 0;
	left: 0;

	width: 100%;
	height: 40px;
	padding: 1% 0 1% 3.5%;
	border-bottom: 1px solid black;
	margin: 0;

	background: white;
}

header > h1
{
	display: inline;

	padding-left: 3%;
}

main
{
	width: 88%;
	padding: 6% 6% 0 6%;
	margin: 0 0 0 0;
}

.toc
{
	padding-top: 5%;
}

h1 { font-size: 150%; }
h2 { font-size: 125%; }
h3 { font-size: 113%; }
h4 { font-size: 100%; }

img
{
	width: 100%;
}

/*******************************************************/

.anchor
{
    position: relative;

    top: -70px;
}

/*******************************************************/

.hint::before
{
	content: "(";
}

.hint::after
{
	content: ")";
}