mediawiki-extensions-CategoryTree/CategoryTree.css

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