{"shas":[["aa13d226f137dba4197e5f77e04016e14c29d161","8c9beb04780e0f63dfc40291c62ad9fcfea4aac2@yale.edu","stylesheet changes to minimize white space","James Luo"]],"ref":"refs/heads/scroll_follow","size":1,"head":"aa13d226f137dba4197e5f77e04016e14c29d161","push_id":37387313}