use current theme and drop custom highlight as it collides with default css

dbu · dbu · commit ab8e5f01a0a1 · 2023-05-11T10:16:30.000+02:00
diff --git a/_static/highlight.css b/_static/highlight.css
diff --git a/conf.py b/conf.py
@@ -159,7 +159,6 @@
 
 html_css_files = [
     'custom.css',
-    'highlight.css',
 ]
 
 # Add any extra paths that contain custom files (such as robots.txt or
diff --git a/requirements.txt b/requirements.txt
@@ -1,6 +1,6 @@
 git+https://github.com/fabpot/sphinx-php.git#egg=sphinx-php
 sphinx~=4.2.0
-sphinx-rtd-theme==1.0.0
+sphinx-rtd-theme==1.2.0
 sphinxcontrib-spelling~=7.2.0
 pyenchant
 docutils==0.17

Original file line number	Diff line number	Diff line change
`@@ -159,7 +159,6 @@`
`159`	`159`
`160`	`160`	`html_css_files = [`
`161`	`161`	`'custom.css',`
`162`		`- 'highlight.css',`
`163`	`162`	`]`
`164`	`163`
`165`	`164`	`# Add any extra paths that contain custom files (such as robots.txt or`