The augmented3d.happyuser.info site will be reset. HEAD is now at ba77769 Revert "Revert "Revert "shark fix (lowercase) (pull request #178)" (pull request #186)"" The augmented3d.happyuser.info site will be updated. Already up to date. generate css: done.