This file is indexed.

/usr/share/pyshared/schooltool/devmode/devmode.css is in python-schooltool 1:2.1.0-0ubuntu1.

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
#header {
    background: #FAF8A3 none repeat scroll 0% 0%;
}

div.devtools {
    position: fixed;
    float: right;
    right: 0px;
    bottom: 0px;
    background: url(++resource++box-bottom.png) bottom left no-repeat;
    width: 200px;
    z-index: 99;
}

div.devtools .header {
    font-size: small;
    padding: 4px;
}

div.devtools .header h4 {
    margin: 0;
    padding: 0em 1em 0em 2em;
    font-size: small;
}

div.devtools .body {
    padding-left: 1px;
    border-top: 1px #bab5ab solid;
    border-bottom: 1px #bab5ab solid;
    margin-bottom: 1ex;
}

div.devtools .body a {
    display: block;
    padding: 2px 1em;
    color: #304D6B;
    font-weight: bold;
    text-decoration: none;

    background: #eae8e3;
    border-top: 1px #eae8e3 solid;
    border-bottom: 1px #eae8e3 solid;
}

div.devtools .body a:hover {
    background: #7590ae;
    border-top: 1px #314e6c solid;
    border-bottom: 1px #314e6c solid;
    color: #fff !important;
}