Commit Graph

373 Commits

Author SHA1 Message Date
Justin Hsu 238a99be42 Switch back to smaller fonts.
Looks better on mobile and desktop.
2015-02-06 16:50:53 +01:00
Justin Hsu a5bd2f0292 Adjust base line height.
Should be 1.5x the base font size.
2015-02-05 18:22:53 +01:00
Justin Hsu 73b7c3fdaf Ignore site binary. 2015-02-05 18:19:54 +01:00
Justin Hsu a1d999a150 Make font size larger. 2015-02-05 17:53:02 +01:00
Justin Hsu 9fc0e0a5fd Format author names.
Get rid of commas, add non-breaking spaces where needed, trim spaces.
2015-02-05 17:52:55 +01:00
Justin Hsu f700124ccf Use Last, First ordering on authors.
Better for trickier names.
2015-02-05 17:52:32 +01:00
Justin Hsu 2d330f59fb Add a bit more padding around banner. 2015-01-26 15:42:15 +01:00
Justin Hsu a461ca85d2 Update contacts and news. 2015-01-26 15:38:12 +01:00
Justin Hsu 3f86aaae9d Add POPL slides. 2015-01-26 15:37:55 +01:00
Justin Hsu 13aaf3fa14 Bold some links. 2015-01-12 16:17:38 +01:00
Justin Hsu 5f30eeafbc Correctly capitalize arXiv. 2015-01-12 15:36:52 +01:00
Justin Hsu 130e17daee Add SNAPL drafts, update website. 2015-01-12 15:35:38 +01:00
Justin Hsu 166ce8b6af Fix CSS to work on mobile screens. 2015-01-05 21:36:11 -08:00
Justin Hsu 45b881de51 Add link. 2015-01-05 21:21:36 -08:00
Justin Hsu 913996c8f5 Fix deploy problems. 2015-01-04 23:50:50 -08:00
Justin Hsu 97d1fce474 Punctuation. 2015-01-04 23:50:41 -08:00
Justin Hsu 6bcab7ce96 Makefile and deploy. 2015-01-04 22:20:06 -08:00
Justin Hsu f030608c0d Typo. 2015-01-04 20:50:33 -08:00
Justin Hsu 58bd141f8d .gitignore. 2015-01-04 20:44:07 -08:00
Justin Hsu eb2315d12a Add pdfs. 2015-01-04 20:44:01 -08:00
Justin Hsu cc7021ac4e Initial version of site almost ready. 2015-01-04 20:43:45 -08:00
Justin Hsu f4ac1192f4 .gitignore. 2015-01-03 14:23:36 -08:00
Justin Hsu 405604d03e Initial commit.
Hakyll site, generates bib from bibtex.
2015-01-03 14:23:27 -08:00