Message271929
I really like the search box in the header/footer.
I can't really speak for the actual content of the patch since my Sphinx/HTML/CSS/Jinja/whatever else knowledge is severely limited, but it looks pretty straightforward and the result is very nice. I'd appreciate a review from someone who's better-versed in all things Sphinx (Georg, if you have a chance, you'd be ideal).
If there are no objections within about a week, though, I'll just go ahead and commit it. |
|
Date |
User |
Action |
Args |
2016-08-03 20:51:37 | zach.ware | set | recipients:
+ zach.ware, georg.brandl, ezio.melotti, eric.araujo, docs@python, berker.peksag, JelleZijlstra, ammar2 |
2016-08-03 20:51:37 | zach.ware | set | messageid: <1470257497.43.0.582063440094.issue19489@psf.upfronthosting.co.za> |
2016-08-03 20:51:37 | zach.ware | link | issue19489 messages |
2016-08-03 20:51:37 | zach.ware | create | |
|