/* 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; }