mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-30 19:16:15 +00:00
44 lines
739 B
CSS
44 lines
739 B
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
|
|
*/
|
|
|
|
.CategoryTreeChildren {
|
|
margin-left: 1.5ex;
|
|
}
|
|
|
|
.CategoryTreeBullet a:link {
|
|
text-decoration: none;
|
|
color: inherit;
|
|
font-weight: bold;
|
|
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;
|
|
}
|