src/css/1p-filters.css


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

div > p:first-child {
    margin-top: 0;
    }
div > p:last-child {
    margin-bottom: 0;
    }
.userFilters {
    font-size: smaller;
    width: 48em;
    height: 40em;
    white-space: pre;
    text-align: left;
    }