@import 'https://ajax.googleapis.com/ajax/libs/jqueryui/1.12.1/themes/base/jquery-ui.css';

#resizer {
    border: 1px solid silver;
    min-width: 350px;
    min-height: 200px;
    width: 800px;
}
#inner-resizer { /* make room for the resize handle */
    padding: 10px;
}
.loading {
    margin-top: 10em;
    text-align: center;
    color: gray;
}