This file is indexed.

/usr/share/gocode/src/github.com/alecthomas/chroma/styles/pygments.go is in golang-github-alecthomas-chroma-dev 0.4.0+git20180402.51d250f-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
package styles

import (
	"github.com/alecthomas/chroma"
)

// Pygments default theme.
var Pygments = Register(chroma.MustNewStyle("pygments", map[chroma.TokenType]string{
	chroma.Whitespace:     "#bbbbbb",
	chroma.Comment:        "italic #408080",
	chroma.CommentPreproc: "noitalic #BC7A00",

	chroma.Keyword:       "bold #008000",
	chroma.KeywordPseudo: "nobold",
	chroma.KeywordType:   "nobold #B00040",

	chroma.Operator:     "#666666",
	chroma.OperatorWord: "bold #AA22FF",

	chroma.NameBuiltin:   "#008000",
	chroma.NameFunction:  "#0000FF",
	chroma.NameClass:     "bold #0000FF",
	chroma.NameNamespace: "bold #0000FF",
	chroma.NameException: "bold #D2413A",
	chroma.NameVariable:  "#19177C",
	chroma.NameConstant:  "#880000",
	chroma.NameLabel:     "#A0A000",
	chroma.NameEntity:    "bold #999999",
	chroma.NameAttribute: "#7D9029",
	chroma.NameTag:       "bold #008000",
	chroma.NameDecorator: "#AA22FF",

	chroma.String:         "#BA2121",
	chroma.StringDoc:      "italic",
	chroma.StringInterpol: "bold #BB6688",
	chroma.StringEscape:   "bold #BB6622",
	chroma.StringRegex:    "#BB6688",
	chroma.StringSymbol:   "#19177C",
	chroma.StringOther:    "#008000",
	chroma.Number:         "#666666",

	chroma.GenericHeading:    "bold #000080",
	chroma.GenericSubheading: "bold #800080",
	chroma.GenericDeleted:    "#A00000",
	chroma.GenericInserted:   "#00A000",
	chroma.GenericError:      "#FF0000",
	chroma.GenericEmph:       "italic",
	chroma.GenericStrong:     "bold",
	chroma.GenericPrompt:     "bold #000080",
	chroma.GenericOutput:     "#888",
	chroma.GenericTraceback:  "#04D",

	chroma.Error: "border:#FF0000",
}))