short pants extending to just above the knee; bermuda shorts.