Green axis tea axis must not be used in the library. Although typing feels good, the sound is too noisy.
I use Dell's EK820 Bluetooth mechanical keyboard. The fuselage is very thin, and the red axis version just meets your needs. And it's light and small, so it's convenient to take it out.