.

2022-05-25 16:50:18 +01:00
parent 41a09ea30d
commit 5701c8d613
30 changed files with 402 additions and 226 deletions
@@ -846,4 +846,10 @@ summary h5 {
 button a, button a:link, button a:visited, button a:hover {
  text-decoration: none;
  color: inherit;
+}
+
+details.filter {
+  border: 1px solid gray;
+  padding: 10px;
+  margin: 20px;
 }