This file is indexed.

/usr/share/monodoc/web/header.html is in monodoc-http 2.10-2.

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
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  <title>MonoDoc Header</title>
  <meta name="description" content="Mono Documentation header">
  <link rel="stylesheet" type="text/css" href="common.css" media="all"
  title='Default Style'/>
  <style>
img.toolbarsep {
        border: 0px;
        margin-bottom: 1px;
        margin-top: 1px;
        padding-top: 3px;
        padding-bottom: 3px;
        vertical-align: middle;
}

img.toolbar {
        border: 0px;
        margin: 1px;
        padding: 3px;
        vertical-align: middle;
}

img.toolbar:hover {
        border-left: 1px solid white;
        border-right: 1px solid #B1A598;
        border-top: 1px solid white;
        border-bottom: 1px solid #B1A598;
        margin: 0px;
}

img.toolbar:active {
        border-right: 1px solid white;
        border-left: 1px solid #B1A598;
        border-bottom: 1px solid white;
        border-top: 1px solid #B1A598;
}


#rightSide {
        position: fixed;
        bottom: 0px;
        right: 0px;
        float: right;
        padding: 5px;
}
  </style>
</head>

<body
style="color: rgb(255, 255, 255); background-color: #c0dda2;"
link="#ffffff" alink="#ffffff" vlink="#ffffff">

<a href="index.aspx" class="headerlink" target="_top"><img
 src="images/mono-logo.png" alt="Mono"
 style="border: 0px solid ; height:75;" /></a>

<div id="rightSide">
   <a href="javascript:parent.content.print();"><img class="toolbar" src="images/print.png" alt="Print" title="Print this document"/></a>
   <a target="_top" id="pageLink" href="/"><img class="toolbar" src="images/link.png" alt="Link to this document" title="Link to this document"/></a>
</div>
</body>
</html>