What is the vertical size of a div element styled with the CSS below, assuming that this div resides within a container whose height is 1000px?
div { height: 15%; width: 80%; border: 10px dotted red; padding: 10px 30px 20px; margin: 50px 20px; }