San José Public Library: Mt. Pleasant, exterior