.diff-menu .page-navigation{*display:inline;zoom:1}.page-navigation .page-version{*display:inline;zoom:1}.diff-navigation{height:0}