Various css snippets for anki decks, jglossary and cheetrans themes, etc