made lots of changes to library.html