Here is how i would change the library
Color can affect people's moods in different ways. With that ether wallpaper or paint the walls to give the environment a more coming/uplifting feel to it.
How I would change the library it no budget first is confdrbelity. With the lounge area I would lower it from the rest of the library, giving it a more inclosed cosy feel to it. Changing all the wooden and computer chairs out for cheap gaming chairs at a cost of around $110 each and beater desk/tables costing around $100 each. Buying 8 desks with 4 chairs at each would costing about $4,500 for comfort upgrades.
Tech upgrades would be nice but not needed as much. Allowing for $1000 for each desktop computer that we would have as well there would be more chair needed for those computers.
Scenery in the library would also be nice to do something with painting the walls a bright color such as bright green, blue, red and orange.to give more color to this room. Art form students on the walls and students to draw/ paint on the roof tiles.