This file is indexed.

/usr/share/criterion/templates/criterion.css is in libghc-criterion-dev 0.6.2.0-3build4.

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
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
html, body {
  height: 100%;
  margin: 0;
}

#wrap {
  min-height: 100%;
}

#main {
  overflow: auto;
  padding-bottom: 180px;  /* must be same height as the footer */
}

#footer {
  position: relative;
  margin-top: -180px; /* negative value of footer height */
  height: 180px;
  clear: both;
  background: #888;
  margin: 40px 0 0;
  color: white;
  font-size: larger;
  font-weight: 300;
} 

body:before {
  /* Opera fix */
  content: "";
  height: 100%;
  float: left;
  width: 0;
  margin-top: -32767px;
}

body {
  font: 14px Helvetica Neue;
  text-rendering: optimizeLegibility;
  margin-top: 1em;
}

a:link {
  color: steelblue;
  text-decoration: none;
}

a:visited {
  color: #4a743b;
  text-decoration: none;
}

#footer a {
  color: white;
  text-decoration: underline;
}

.hover {
  color: steelblue;
  text-decoration: none;
}

.body {
  width: 960px;
  margin: auto;
}

.footfirst {
  position: relative;
  top: 30px;
}

th {
  font-weight: 500;
  opacity: 0.8;
}

th.cibound {
  opacity: 0.4;
}

.citime {
  opacity: 0.5;
}

h1 {
  font-size: 36px;
  font-weight: 300;
  margin-bottom: .3em;
}

h2 {
  font-size: 30px;
  font-weight: 300;
  margin-bottom: .3em;
}

.meanlegend {
  color: #404040;
  background-color: #ffffff;
  opacity: 0.6;
  font-size: smaller;
}