div > p:first-child {
    margin-top: 0;
    }
div > p:last-child {
    margin-bottom: 0;
    }
#whitelist {
    box-sizing: border-box;
    font-size: small;
    height: 60vh;
	text-align: left;
    white-space: pre;
    width: 100%;
    }
#whitelist.bad {
    background-color: #fee;
    }
