mediawiki-extensions-CategoryTree/CategoryTree.css

/*
 * Stylesheet for the CategoryTree extension, an AJAX based gadget
 * to display the category structure of a wiki
 *
 * @file
 * @ingroup 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 {
	cursor: pointer;
	cursor: hand; /* hack for MSIE 5.0 and 5.5 */
}
.CategoryTreeEmptyBullet {
	cursor: default;
}

.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;
}

.CategoryTreeSection {
	direction: ltr;
}