mirror of
https://gitea.com/Sirherobrine23/tea.git
synced 2024-08-21 14:27:25 +00:00
Merge branch 'master' into use-glamour select Glamour Theme based on BackgroundColor Merge branch 'master' into use-glamour Merge branch 'master' into use-glamour update termev update go.mod label color colorate use glamour for issue content Vendor: Add glamour Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com> Co-authored-by: 6543 <6543@obermui.de> Reviewed-on: https://gitea.com/gitea/tea/pulls/181 Reviewed-by: techknowlogick <techknowlogick@gitea.io> Reviewed-by: Lunny Xiao <xiaolunwen@gmail.com>
43 lines
1.5 KiB
Go
43 lines
1.5 KiB
Go
package styles
|
|
|
|
import (
|
|
"github.com/alecthomas/chroma"
|
|
)
|
|
|
|
// Trac style.
|
|
var Trac = Register(chroma.MustNewStyle("trac", chroma.StyleEntries{
|
|
chroma.TextWhitespace: "#bbbbbb",
|
|
chroma.Comment: "italic #999988",
|
|
chroma.CommentPreproc: "bold noitalic #999999",
|
|
chroma.CommentSpecial: "bold #999999",
|
|
chroma.Operator: "bold",
|
|
chroma.LiteralString: "#bb8844",
|
|
chroma.LiteralStringRegex: "#808000",
|
|
chroma.LiteralNumber: "#009999",
|
|
chroma.Keyword: "bold",
|
|
chroma.KeywordType: "#445588",
|
|
chroma.NameBuiltin: "#999999",
|
|
chroma.NameFunction: "bold #990000",
|
|
chroma.NameClass: "bold #445588",
|
|
chroma.NameException: "bold #990000",
|
|
chroma.NameNamespace: "#555555",
|
|
chroma.NameVariable: "#008080",
|
|
chroma.NameConstant: "#008080",
|
|
chroma.NameTag: "#000080",
|
|
chroma.NameAttribute: "#008080",
|
|
chroma.NameEntity: "#800080",
|
|
chroma.GenericHeading: "#999999",
|
|
chroma.GenericSubheading: "#aaaaaa",
|
|
chroma.GenericDeleted: "bg:#ffdddd #000000",
|
|
chroma.GenericInserted: "bg:#ddffdd #000000",
|
|
chroma.GenericError: "#aa0000",
|
|
chroma.GenericEmph: "italic",
|
|
chroma.GenericStrong: "bold",
|
|
chroma.GenericPrompt: "#555555",
|
|
chroma.GenericOutput: "#888888",
|
|
chroma.GenericTraceback: "#aa0000",
|
|
chroma.GenericUnderline: "underline",
|
|
chroma.Error: "bg:#e3d2d2 #a61717",
|
|
chroma.Background: " bg:#ffffff",
|
|
}))
|