Jenkinsfile

@@ -1,11 +0,0 @@
-pipeline {
-    agent any
-
-    stages {
-        stage('Do nothing') {
-            steps {
-                sh '/bin/true'
-            }
-        }
-    }
-}

README.md

@@ -2,30 +2,19 @@
 
 **Opinionated** GitHub-based light and dark themes for Gitea including an automatic theme switch option.
 
-Created and tested with Gitea v1.15 - 1.17. (v1.19+dev)
+Created and tested with Gitea v1.15 - 1.17.
 The theme might work with future versions though Gitea devs might change some CSS classes in the meantime and things might potentially look odd - just try yourself :)
 
 I might update the theme over time to fix oversights and other issues - no guarantee though.
 
----
-### [Website](https://codeberg.org/pat-s/gitea-github-theme)
----
-###### Index
-
-* [Installation](#installation)
-* [Using automatic theme switching](#using-automatic-theme-switching-based-on-system-preference)
-* [Changes to default Gitea theme](#changes-to-default-gitea-theme)
-* [Helm chart instructions](#helm-chart-instructions)
-* [Screenshots](#screenshots)
----
 ## Installation
 
-1. If you do not have admin access to a Gitea instance, you can use the [Stylus](https://chrome.google.com/webstore/detail/stylus/clngdbkpkpeebahjckkjfobafhncgmne/related) browser extension and use the CSS provided in this repo for the Gitea URL.
+1. If you do not have admin access to a Gitea instance, you can use the [Stylus](https://chrome.google.com/webstore/detail/stylus/clngdbkpkpeebahjckkjfobafhncgmne/related) browser extension and use the CSS provided in this repo for the Gitea URL
 2. If you are an admin and want to make this theme available to all users:
    1. Put `theme-github.css` into `$GITEA_PUBLIC/public/css/theme-github.css` where `$GITEA_PUBLIC` is the "CustomPath" of your instance reported by `gitea help`.
-   2. Add `github` to the comma-separated list in the setting `THEMES` in `app.ini` ; (e.g.: `THEMES		= auto,gitea,arc-green,github-auto,github,github-dark`).
-   3. Now users can select this theme in their settings under "account".
-   4. (optional) If you want to make this theme the default of your instance, set it in `DEFAULT_THEME` in `app.ini`.
+   2. Add `github` to the comma-separated list in the setting `THEMES` in `app.ini`
+   3. Now users can select this theme in their settings under "account"
+   4. (optional) If you want to make this theme the default of your instance, set it in `DEFAULT_THEME` in `app.ini`
 
 ## Using automatic theme switching based on system preference
 

theme-github-auto.css

@@ -425,7 +425,6 @@
     --is-dark-theme: true;
     --color-blue: #539bf5;
     --color-input-background: #22272e;
-    --color-header-bar: #373e47;
 
     /* code editor colors are set in https://github.com/go-gitea/gitea/blob/f5b300ea77081a1b78ac044cb1c0f9225538d091/web_src/js/features/codeeditor.js#L82-L97.  */
     /* monaco editor dark theme is toggled via variable `--is-dark-theme` */

theme-github-dark.css

@@ -22,7 +22,6 @@
   --is-dark-theme: true;
   --color-blue: #539bf5;
   --color-input-background: #22272e;
-  --color-header-bar: #373e47;
 
   /* code editor colors are set in https://github.com/go-gitea/gitea/blob/f5b300ea77081a1b78ac044cb1c0f9225538d091/web_src/js/features/codeeditor.js#L82-L97.  */
   /* monaco editor dark theme is toggled via variable `--is-dark-theme` */