/* colors */
button.green, button.green * { color: white; background-color: green }
button.blue, button.blue * { color: white; background-color: skyblue }
button.red, button.red * { color: white; background-color: red }
button.grey, button.grey * { color: white; background-color: grey }
button > svg * { fill: #fff }
.negative a { color: inherit }
body { margin: 0px; padding: 0px; }
nav { margin: 0px; padding: 0px; }

/* layout */
.filter-rule { display: flex }

/* size and spacing */
h1 { font-size: 2em }
button > svg { height: 20px }
button { white-space: nowrap }
table img { height: 40px }
table { margin-top: 10px }
.filter-rule > * { margin-right: 10px }
.filter-rule { margin: 15px 0px }
.shuffler { margin-top: 15px }

/* misc */
td.sortable span + span::before { content: ", " }