Osnovna šola Idrija ima novo knjižnico