:root {
	--left-margin-percent: 28%;
	--left-header-width-percent: 25%;
	--rhs-width-percent: 60%;
}

body {
	font-size: 10pt;
	line-height: 1.35em;
	font-family: Verdana, sans-serif;
}

code {
	color: #ccc;
}

p code {
	position: absolute;
}

ul {
	margin-bottom: 1em;
	margin-top: 0;
}

h1 {
	margin-top: 2em;
}

h3 {
	text-align: end;
}

a {
	text-decoration: none
}

#ghbutton {
	visibility: hidden;
}

@media print {
	.pagebreak {
		page-break-before: always;
		margin-top: 2em;
	}
}