This file is indexed.

/usr/share/mediawiki-extensions/base/CategoryTree/CategoryTree.css is in mediawiki-extensions-base 3.5~deb7u2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
/*
 * 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 {
	cursor: pointer;
	cursor: hand; /* hack for MSIE 5.0 and 5.5 */
}

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