Refresh library.html