Block a user
A tool to extract data from html files
A first release of extract_images
was made available in early January 2025.
A tool to extract data from html files
- Include a table of MIME types which are acceptable for further processing.
- Maybe this could be in a configuration file to make it more straightforward to change.
- Any
data
URI…
New CSS makes some tables less readable, and other issues
I just processed a show (4231) which had a lot of pieces of text (commands) using <code>
tags. The font used with these commands is almost indistinguishable from the font used in the ordinary…
New CSS makes some tables less readable
Best practice for setting the
<base>
tag per page
Update repository reference in documentation pages.
These references are everywhere! It's a shame we can't easily parameterise them throughout!
Improvements to comment formatting