@charset "utf-8";

table.profile {
	margin-left: 1em;
	width: 90%;
}
code {
/*
	font-weight: bold;
*/
}
img.inline-figure {
	margin-left: 0.5ex;
	margin-right: 0.5ex;
	vertical-align: text-top;
}