Added a "Theater mode" button to mixer's player that allows switching between default and theater modes.
Added settings page that allows user to set his own refresh interval time.