This file is indexed.

/usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gcampax.github.com/stylesheet.css is in gnome-shell-extensions 3.10.1-0ubuntu2.

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
.apps-menu:ltr {
    padding-right: 3px;
}

.apps-menu:rtl {
    padding-left: 3px;
}