This file is indexed.

/usr/share/kdevmanpage/manpagedocumentation.css is in kdevelop-data 4:5.0.3-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
/* Remove top banner */
#header {
    display: none
}

/* Remove extra margins from both sides */
body div[style] {
    margin-left: 0 !important;
    margin-right: 0 !important;
}