mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-15 12:00:44 +00:00
54 lines
1 KiB
CSS
54 lines
1 KiB
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;
|
|
}
|