Add filters

This commit is contained in:
r 2021-01-30 16:51:09 +00:00
parent 3ac95ab3b1
commit 4f1425febf
8 changed files with 158 additions and 0 deletions

View file

@ -552,6 +552,14 @@ kbd {
font-size: 10pt;
}
.filters {
margin: 10px 0;
}
.filters td {
padding: 2px 4px;
}
.dark {
background-color: #222222;
background-image: none;