Merge remote-tracking branch 'origin/main'

This commit is contained in:
Andrea Alberti 2024-08-25 19:04:52 +02:00
commit 5738eba8da

View file

@ -70,7 +70,7 @@ div.plugin-comment-instructions strong {
.plugin-comment-backup-table,
.plugin-comment-uninstalled {
margin-left:var(--size-4-10);;
margin-left:var(--size-4-10);
}