/* Hatnotes and disambiguation notices */
.hatnote {
	font-style: italic;
}
.hatnote i,
.hatnote.noitalic {
	font-style: normal;
}
div.hatnote {
	/* @noflip */
	padding-left: 1.6em;
	margin-bottom: 0.5em;
}
div.hatnote + div.hatnote {
	margin-top: -0.5em;
}