Zotero-Dark-Theme. userChrome.css file for a Zotero dark theme. Suggestions for improvements are welcome.
mosdepth. Dockerfile for latest version of mosdepth
