css updates; add pill styling
add other font info to gitignore
update bibjson to not try to handle latex accents
+ favicon
rm footer cruft
update bib.json
make formal name highlighting less annoying