The Dallas Public Library's J. Erik Jonsson Central Library in downtown Dallas—one of America's largest—was built in 1982 across from Dallas City Hall, and many agree it could use an overhaul. That ...