mirror of
https://github.com/go-gitea/gitea
synced 2024-12-13 12:13:07 +01:00
af7ffaa279
* Server-side syntax hilighting for all code This PR does a few things: * Remove all traces of highlight.js * Use chroma library to provide fast syntax hilighting directly on the server * Provide syntax hilighting for diffs * Re-style both unified and split diffs views * Add custom syntax hilighting styling for both regular and arc-green Fixes #7729 Fixes #10157 Fixes #11825 Fixes #7728 Fixes #3872 Fixes #3682 And perhaps gets closer to #9553 * fix line marker * fix repo search * Fix single line select * properly load settings * npm uninstall highlight.js * review suggestion * code review * forgot to call function * fix test * Apply suggestions from code review suggestions from @silverwind thanks Co-authored-by: silverwind <me@silverwind.io> * code review * copy/paste error * Use const for highlight size limit * Update web_src/less/_repository.less Co-authored-by: Lauris BH <lauris@nix.lv> * update size limit to 1MB and other styling tweaks * fix highlighting for certain diff sections * fix test * add worker back as suggested Co-authored-by: silverwind <me@silverwind.io> Co-authored-by: Lauris BH <lauris@nix.lv>
36 lines
1.2 KiB
Go
Vendored
36 lines
1.2 KiB
Go
Vendored
package styles
|
|
|
|
import (
|
|
"github.com/alecthomas/chroma"
|
|
)
|
|
|
|
// Monokai style.
|
|
var Monokai = Register(chroma.MustNewStyle("monokai", chroma.StyleEntries{
|
|
chroma.Text: "#f8f8f2",
|
|
chroma.Error: "#960050 bg:#1e0010",
|
|
chroma.Comment: "#75715e",
|
|
chroma.Keyword: "#66d9ef",
|
|
chroma.KeywordNamespace: "#f92672",
|
|
chroma.Operator: "#f92672",
|
|
chroma.Punctuation: "#f8f8f2",
|
|
chroma.Name: "#f8f8f2",
|
|
chroma.NameAttribute: "#a6e22e",
|
|
chroma.NameClass: "#a6e22e",
|
|
chroma.NameConstant: "#66d9ef",
|
|
chroma.NameDecorator: "#a6e22e",
|
|
chroma.NameException: "#a6e22e",
|
|
chroma.NameFunction: "#a6e22e",
|
|
chroma.NameOther: "#a6e22e",
|
|
chroma.NameTag: "#f92672",
|
|
chroma.LiteralNumber: "#ae81ff",
|
|
chroma.Literal: "#ae81ff",
|
|
chroma.LiteralDate: "#e6db74",
|
|
chroma.LiteralString: "#e6db74",
|
|
chroma.LiteralStringEscape: "#ae81ff",
|
|
chroma.GenericDeleted: "#f92672",
|
|
chroma.GenericEmph: "italic",
|
|
chroma.GenericInserted: "#a6e22e",
|
|
chroma.GenericStrong: "bold",
|
|
chroma.GenericSubheading: "#75715e",
|
|
chroma.Background: "bg:#272822",
|
|
}))
|