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

fixed the menu button whoops

Browse Source
This commit is contained in:
Juicysteak117
2025-10-11 15:30:54 -07:00
parent 10d7f63eb9
commit e9f042a9a6
3 changed files with 438 additions and 438 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
soup.py
View File

@@ -18,6 +18,9 @@ header.append(menu)
# Extract nav
toc = soup.body.find('div', class_='ltx_page_main').nav.extract()
# need id to grab to make the menu button work
toc['id'] = 'sidebar'
# correcting a bug in latexml that drops em dash prefixes on toc in html output
toc_emdashes = toc.select('a[href*="SSx"] > span')
for line in toc_emdashes: