@import '_webfonts';
@import '_responsive_fonts';
@import '_vars';

a {
	color: var(--fg-href);
}

a:visited {
	color: var(--fg-href-visited);
}

body {
	background-color: var(--bg-color);
	color: var(--fg-color);

	font-family: var(--font-sans);
	font-size: 1.3em;
	line-height: 1.6;
	margin: 1em auto;
	max-width: 1024px;
	padding: 0 1em;
}

table {
	border-collapse: collapse;
}

.tbl td:not(:last-child) {
	border-right: solid 1px;
}

.tbl td {
	padding: 0 5px;
}

table.foot {
	margin-top: 1em;
}

table.head, table.foot { width: 100%; }
td.head-rtitle, td.foot-os { text-align: right; }
td.head-vol { text-align: center; }
div.Pp { margin: 1ex 0ex; }
div.Nd, div.Bf, div.Op { display: inline; }
span.Pa, span.Ad { font-style: italic; }
span.Ms { font-weight: bold; }
dl.Bl-diag > dt { font-weight: bold; }
code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn,
code.Cd { font-weight: bold; font-family: inherit; }
div.Bd-indent pre { padding-left: 4em; }