/* * Stylesheet for the CategoryTree extension, an AJAX based gadget * to display the category structure of a wiki * * @package MediaWiki * @subpackage Extensions * @author Daniel Kinzler, brightbyte.de * @copyright © 2006 Daniel Kinzler * @licence GNU General Public Licence 2.0 or later * * NOTE: if you change this, increment $wgCategoryTreeVersion * in CategoryTree.php to avoid users getting stale copies from cache. */ .CategoryTreeChildren { margin-left: 1.5ex; } .CategoryTreeBullet a, .CategoryTreeBullet a:link, .CategoryTreeBullet a:active, .CategoryTreeBullet a:visited { text-decoration: none; color: inherit; speak: none; } .CategoryTreeLabelPage { font-style: italic; } .CategoryTreeParents { margin-top: 1.5ex; font-style: italic; } .CategoryTreeResult { margin-top: 1.5ex; } .CategoryTreeTag { margin-top: 0.5ex; margin-bottom: 0.5ex; } .CategoryTreeNotice { font-style: italic; } /* div.CategoryTreeInlineNode, div.CategoryTreeInlineNode div { display: table-cell; } */ .CategoryTreeCategoryBarItem { display:-moz-inline-box; display:inline-block; /* yes, specify display twice! quirk for FF2 */ margin:-0.5ex 0 0 1ex; /* why is the -0.5ex needed? */ padding:0; vertical-align: top; }