Volume control tool ("mixer") for the PulseAudio sound server
