Denise Atkinson repaints the entryway mural in the children's area at the Barbara Bush Branch Library