brad/pghrt
1
0
Fork 0
mirror of https://github.com/Juicysteak117/pghrt.git synced 2025-12-21 15:35:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

she soups.... she scores!!!

Browse Source
This commit is contained in:
Juicysteak117
2025-10-16 21:46:57 -07:00
parent 5474a34e31
commit a801db7594
1 changed files with 16 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
soup.py
View File

@@ -15,6 +15,21 @@ menu = soup.new_tag(
header = soup.new_tag('div', **{'class':'header'}) header = soup.new_tag('div', **{'class':'header'})
header.append(menu) header.append(menu)
# Create toggle buttons, header, and nest
toggles = soup.new_tag('div', **{'class':'togglebuttons'})
menu = soup.new_tag(
'button',
id='theme-toggle',
string='☀',
)
toggles.append(menu)
menu = soup.new_tag(
'button',
id='font-toggle',
string='Aa',
)
toggles.append(menu)
# Extract nav # Extract nav
toc = soup.body.find('div', class_='ltx_page_main').nav.extract() toc = soup.body.find('div', class_='ltx_page_main').nav.extract()
@@ -34,7 +49,7 @@ toast = soup.new_tag (
) )
# Prepend header and toc into body # Prepend header and toc into body
soup.body.insert(0, toast, header, toc) soup.body.insert(0, toast, toggles, header, toc)
# Add header info tags # Add header info tags
# i don't know if there's a better way to do all of these in a batch but like eh w/e # i don't know if there's a better way to do all of these in a batch but like eh w/e