mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-12-29 09:42:13 +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>
51 lines
2 KiB
Go
Vendored
51 lines
2 KiB
Go
Vendored
package styles
|
|
|
|
import (
|
|
"github.com/alecthomas/chroma"
|
|
)
|
|
|
|
// Manni style.
|
|
var Manni = Register(chroma.MustNewStyle("manni", chroma.StyleEntries{
|
|
chroma.TextWhitespace: "#bbbbbb",
|
|
chroma.Comment: "italic #0099FF",
|
|
chroma.CommentPreproc: "noitalic #009999",
|
|
chroma.CommentSpecial: "bold",
|
|
chroma.Keyword: "bold #006699",
|
|
chroma.KeywordPseudo: "nobold",
|
|
chroma.KeywordType: "#007788",
|
|
chroma.Operator: "#555555",
|
|
chroma.OperatorWord: "bold #000000",
|
|
chroma.NameBuiltin: "#336666",
|
|
chroma.NameFunction: "#CC00FF",
|
|
chroma.NameClass: "bold #00AA88",
|
|
chroma.NameNamespace: "bold #00CCFF",
|
|
chroma.NameException: "bold #CC0000",
|
|
chroma.NameVariable: "#003333",
|
|
chroma.NameConstant: "#336600",
|
|
chroma.NameLabel: "#9999FF",
|
|
chroma.NameEntity: "bold #999999",
|
|
chroma.NameAttribute: "#330099",
|
|
chroma.NameTag: "bold #330099",
|
|
chroma.NameDecorator: "#9999FF",
|
|
chroma.LiteralString: "#CC3300",
|
|
chroma.LiteralStringDoc: "italic",
|
|
chroma.LiteralStringInterpol: "#AA0000",
|
|
chroma.LiteralStringEscape: "bold #CC3300",
|
|
chroma.LiteralStringRegex: "#33AAAA",
|
|
chroma.LiteralStringSymbol: "#FFCC33",
|
|
chroma.LiteralStringOther: "#CC3300",
|
|
chroma.LiteralNumber: "#FF6600",
|
|
chroma.GenericHeading: "bold #003300",
|
|
chroma.GenericSubheading: "bold #003300",
|
|
chroma.GenericDeleted: "border:#CC0000 bg:#FFCCCC",
|
|
chroma.GenericInserted: "border:#00CC00 bg:#CCFFCC",
|
|
chroma.GenericError: "#FF0000",
|
|
chroma.GenericEmph: "italic",
|
|
chroma.GenericStrong: "bold",
|
|
chroma.GenericPrompt: "bold #000099",
|
|
chroma.GenericOutput: "#AAAAAA",
|
|
chroma.GenericTraceback: "#99CC66",
|
|
chroma.GenericUnderline: "underline",
|
|
chroma.Error: "bg:#FFAAAA #AA0000",
|
|
chroma.Background: " bg:#f0f3f3",
|
|
}))
|