gitignore: *.class, *.zip
top: display fixes
cls: no bold math in theorem title
top: fixes