}
/* Images */
-/* @noflip */div.floatright, table.floatright {
+/* @noflip */
+div.floatright,
+table.floatright {
margin: 0 0 0.5em 0.5em;
}
font-style: italic;
}
-/* @noflip */div.floatleft, table.floatleft {
+/* @noflip */
+div.floatleft,
+table.floatleft {
margin: 0 0.5em 0.5em 0;
}