div.cover {
	text-align: center;
	margin-top: 2em;
	text-align: center;
	padding-top: 0;
	line-height: 80%;
}
a {
	font-style: normal;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
em {
	font-style: normal;
	text-decoration: underline;
}
.flow {
	text-align: center;
}
.etc {
	text-align: right;
	margin-top: -0.5em;
}
.ex {
	margin-top: 0em;
	margin-bottom: -0.5em;
}
.attention, .warning, .caution {
	margin: 2em;
	font-weight: bold;
}
.attention, .warning {
	color: red;
}
p.warning:first-line, p.caution:first-line {
	margin-left: -1em;
}


span.symbol {
	font-family: "Courier New", monospace;
}