From 05b5aa7abbbbaf648540ad9496cd712d1233e202 Mon Sep 17 00:00:00 2001
From: manetta <mail@manettaberends.nl>
Date: Wed, 13 Oct 2021 19:11:14 +0200
Subject: [PATCH] added a tweak for h3 references

---
 web-interface/update.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web-interface/update.py b/web-interface/update.py
index b71fd8d..c68afe4 100644
--- a/web-interface/update.py
+++ b/web-interface/update.py
@@ -137,6 +137,10 @@ def tweaking(html):
 	html = html.replace('<a href="#X,_y,_z_(4_filmstills)"', '<a href="#x,_y,_z_(4_filmstills)"') # change the anchor link in the TOC to lowercase
 	html = html.replace('<a href="#Rehearsal_as_the_%E2%80%98Other%E2%80%99_to_Hypercomputation"', '<a href="#Rehearsal_as_the_‘Other’_to_Hypercomputation"') # change the anchor link in the TOC to lowercase
 	html = html.replace('<a href="#We_hardly_encounter_anything_that_didn%E2%80%99t_really_matter"', '<a href="#We_hardly_encounter_anything_that_didn’t_really_matter"') # change the anchor link in the TOC to lowercase
+	html = html.replace('''<h3><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
+<ul>''', '''<h3 class="references"><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
+<ul class="references">''') # add id="references" to h3 and ul, so the elements can be selected with CSS
+	
 	return html
 
 def clean_up(html):