{"shas":[["087c75803557e21c5213b7bed09948fe8cba6cdc","14a5284cc67772f28f8258547ab2dcde1af9d8e6@uvm.edu","Tweaking margins and div sizes to accomodate sans serif fonts.","Gary Johnson"]],"repo":"ariesteam/ariesteam.github.com","actor":"lambdatronic","ref":"refs/heads/master","size":1,"head":"087c75803557e21c5213b7bed09948fe8cba6cdc","actor_gravatar":"7ad60984a5c26aba3a4536e05719eda0","push_id":32055930}