Ich stimme zu, es ist ziemlich fummelig, das Vorhandene zu überschreiben. Highlight.js bietet eine große Auswahl an Themes unter:
Ein benutzerdefiniertes Theme kann einer Website definitiv ein einzigartiges Aussehen verleihen:
@Johani, vielleicht sollten wir eine #howto-Anleitung erstellen, die erklärt, wie man CSS aus dem offiziellen Repository entnimmt, transformiert und mit unserem CSS kompatibel macht?