#toc.tochidden,
div#f-poweredbyico,
div#f-copyrightico,
-li#viewcount,
li#about,
li#disclaimer,
li#mobileview,
/**
* Floating divs
*/
+/* @noflip */
div.floatright {
float: right;
clear: right;
font-style: italic;
}
+/* @noflip */
div.floatleft {
float: left;
clear: left;