This file is indexed.

/usr/share/doc/libjs-jquery-ui-docs/examples/menu/categories.html is in libjs-jquery-ui-docs 1.12.1+dfsg-4.

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
<!doctype html>
<html lang="en">
<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<title>jQuery UI Menu - Categories</title>
	<link rel="stylesheet" href="/usr/share/javascript/jquery-ui/themes/base/jquery-ui.css">
	<link rel="stylesheet" href="../demos.css">
	<script src="/usr/lib/nodejs/require.js"></script>
	<script src="../bootstrap.js">
		$( "#menu" ).menu({
			items: "> :not(.ui-widget-header)"
		});
	</script>
	<style>
	.ui-menu { width: 200px; }
	.ui-widget-header { padding: 0.2em; }
	</style>
</head>
<body>

<ul id="menu">
	<li class="ui-widget-header"><div>Category 1</div></li>
	<li><div>Option 1</div></li>
	<li><div>Option 2</div></li>
	<li><div>Option 3</div></li>
	<li class="ui-widget-header"><div>Category 2</div></li>
	<li><div>Option 4</div></li>
	<li><div>Option 5</div></li>
	<li><div>Option 6</div></li>
</ul>

<div class="demo-description">
<p>By using the <code>items</code> option, you can configure which elements are converted into selectable menu items. Here this technique is used to create category headers.</p>
</div>
</body>
</html>