diff --git a/src/kiri/ui.js b/src/kiri/ui.js
index 06b939be..5ce1dc20 100644
--- a/src/kiri/ui.js
+++ b/src/kiri/ui.js
@@ -267,10 +267,13 @@ gapp.register("kiri.ui", [], (root, exports) => {
row,
arr,
update() {
- arr.innerHTML = (hidden[group] ?
- '' :
- ''
- );
+ if (hidden[group]) {
+ arr.innerHTML = '';
+ row.classList.add('hidden');
+ } else {
+ arr.innerHTML = '';
+ row.classList.remove('hidden');
+ }
}
};
row.onclick = () => {
diff --git a/web/kiri/index.css b/web/kiri/index.css
index 2e517767..0ad3a793 100644
--- a/web/kiri/index.css
+++ b/web/kiri/index.css
@@ -2174,8 +2174,12 @@ th, tr, td, label {
padding: 4px;
margin: 0 0 4px 0;
}
+.set-header.hidden {
+ margin-bottom: 0 !important;
+}
.set-header > span {
color: var(--blue-2);
+ font-size: smaller;
}
.set-header-line {
margin-left: 5px;