This file is indexed.

/usr/share/gap/doc/tut/toggless.css is in gap-doc 4r6p5-3.

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
/* toggless.css                                          Frank Lübeck */

/* Using javascript we change all div.ContSect to div.ContSectOpen or
   div.ContSectClosed. This way the config for div.ContSect in manual.css
   is no longer relevant. Here we add the CSS for the new elements.        */
/* This layout is based on an idea by Burkhard Höfling.                    */

div.ContSectClosed {
  text-align: left;
  margin-left: 1em;
}
div.ContSectOpen {
  text-align: left;
  margin-left: 1em;
}
div.ContSectOpen div.ContSSBlock {
  display: block;
  text-align: left;
  margin-left: 1em;
}
div.ContSectOpen div.ContSSBlock a {
  display: block;
  width: 100%;
  margin-left: 1em;
}
span.tocline a:hover {
  display: inline;
  background: #eeeeee;
}
span.ContSS a:hover {
  display: inline;
  background: #eeeeee;
}
span.toctoggle {
  font-size: 80%;
  display: inline-block;
  width: 1.2em;
}
span.toctoggle:hover {
  background-color: #aaaaaa;
}