This file is indexed.

/usr/share/doc/libjs-edit-area/doc_style.css is in libjs-edit-area 0.8.2-1.

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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
body {
	background-color: #FFFFFF;
	font-family: Verdana, Arial, helvetica, sans-serif;
	font-size: 12px;
}

h1{
	font-size: 18px;
	font-weight: bold;
	padding: 0;
	margin: 4px;
}

h2 {
	font-size: 14px;
	font-weight: bold;
	padding: 0;
	margin: 0;
	margin-top: 4px;
	margin-bottom: 4px;
}

h3 {
	font-size: 11px;
	font-weight: bold;
	padding: 0;
	margin: 0;
	margin-bottom: 3px;
}

h4, h5, h6{
	margin: 0;
	padding: 0;
}

pre, code{
	margin: 0;
	padding: 0 5px;
	background-color: #E6EBF1;
}


a:hover{
	color: #666666;
	text-decoration: underline;
}

a{
	color: #666666;
	text-decoration: underline;
}

ul, ol{
	padding: 0px;
	margin: 3px 0 3px 10px;
}

li{
	padding: 0;
	margin: 3px 0 3px 10px;
}

li li{
	padding: 0;
	margin-left: 30px;
}

table{
	border-collapse: collapse;	
}

td, th{
	padding: 4px;
	border: 2px groove #000000;
}

thead {
	background-color: #E6EBF1;	
}

.header{
	border: #E0E0E0 solid 1px;
}

.footer{
	border: #E0E0E0 solid 1px;	
	height: 1.3em;
	padding: 2px;
}

.content{
	padding: 10px 0 10px 10px;
}

.indexlink{
	float: right;
}

.separator {
	border-bottom: 1px solid #E6EBF1;
	margin-top: 10px;
	margin-bottom: 10px;
}


.optionlist li li{
	text-indent: -15px;
	padding-left: 15px;
	line-height: 1.3em;
}

.optionlist .underline{
	background-color: #E6EBF1;
	border-bottom: dashed #000000 1px; 
}

.marked{
	color: #FF0000;
	font-weight: bold;
}