scale people down
To scale people down use the wrench on the thing you want to make people scale down with (a brick) then go to events at the bottom of the menu, use "on activate" or "on touch" -> "player" -> "SetPlayerScale" -> drag the slider the the size you want.
You may also want to download the "Scale X Y Z" add-on because it's more comprehensive