Add new pygment themes
Add tool to convert CSS pygment themes back to PY
Ensure anchor extension uses unique ids
Ensure file loaders return empty string instead of None