//! Div is the central, reusable element that most GPUI trees will be built from. //! It functions as a container for other elements, and provides a number of //! useful features for laying out and styling its children as well as binding //! mouse events and action handlers. It is meant to be similar to the HTML `