Further FileWidget enhancements

This commit is contained in:
2023-04-15 23:41:06 -05:00
parent b3ba472dcc
commit 36441aecac
9 changed files with 313 additions and 13 deletions

View File

@@ -62,6 +62,12 @@ notebook > header > tabs > tab:checked {
.selection-widget {
background-color: rgba(45, 45, 45, 0.84);
color: rgba(0, 0, 0, 0.5);
}
.dynamic-header-widget {
margin-bottom: 5px;
}