Workers place the roof on a new pavilion outside Sherman Public Library Tuesday afternoon. The pavilion was recently approved by the city council as a way to create outdoor space for library patrons and the library’s children’s programming. [Michael Hutchins / Herald Democrat]