div > p:first-child {
    margin-top: 0;
    }
div > p:last-child {
    margin-bottom: 0;
    }
.userFilters {
    box-sizing: border-box;
    font-size: small;
    height: 60vh;
    text-align: left;
    white-space: pre;
    width: 100%;
    word-wrap: normal;
    }
