Minor formatting changes. Reduced video player size.