src/css/1p-filters.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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;
    }