From f2d7195922bd72167f2a01ea10419296bc2e915a Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Sat, 13 Jul 2024 14:29:19 +0200
Subject: chore(geschichte): Remove

This is also irrelevant, as it is no longer used.
---
 geschichte/plugin/highlight/monokai.css | 71 ---------------------------------
 1 file changed, 71 deletions(-)
 delete mode 100644 geschichte/plugin/highlight/monokai.css

(limited to 'geschichte/plugin/highlight/monokai.css')

diff --git a/geschichte/plugin/highlight/monokai.css b/geschichte/plugin/highlight/monokai.css
deleted file mode 100644
index af24834..0000000
--- a/geschichte/plugin/highlight/monokai.css
+++ /dev/null
@@ -1,71 +0,0 @@
-/*
-Monokai style - ported by Luigi Maselli - http://grigio.org
-*/
-
-.hljs {
-  display: block;
-  overflow-x: auto;
-  padding: 0.5em;
-  background: #272822;
-  color: #ddd;
-}
-
-.hljs-tag,
-.hljs-keyword,
-.hljs-selector-tag,
-.hljs-literal,
-.hljs-strong,
-.hljs-name {
-  color: #f92672;
-}
-
-.hljs-code {
-  color: #66d9ef;
-}
-
-.hljs-class .hljs-title {
-  color: white;
-}
-
-.hljs-attribute,
-.hljs-symbol,
-.hljs-regexp,
-.hljs-link {
-  color: #bf79db;
-}
-
-.hljs-string,
-.hljs-bullet,
-.hljs-subst,
-.hljs-title,
-.hljs-section,
-.hljs-emphasis,
-.hljs-type,
-.hljs-built_in,
-.hljs-builtin-name,
-.hljs-selector-attr,
-.hljs-selector-pseudo,
-.hljs-addition,
-.hljs-variable,
-.hljs-template-tag,
-.hljs-template-variable {
-  color: #a6e22e;
-}
-
-.hljs-comment,
-.hljs-quote,
-.hljs-deletion,
-.hljs-meta {
-  color: #75715e;
-}
-
-.hljs-keyword,
-.hljs-selector-tag,
-.hljs-literal,
-.hljs-doctag,
-.hljs-title,
-.hljs-section,
-.hljs-type,
-.hljs-selector-id {
-  font-weight: bold;
-}
-- 
cgit 1.4.1