mirror of
https://github.com/enso-browser/theme-store.git
synced 2026-10-30 20:27:45 +00:00
Update CSS custom properties (--zen-* → --enso-*), attribute selectors, preference keys, element IDs, and descriptive text across all themes, scripts, and metadata files.
10 lines
377 B
CSS
10 lines
377 B
CSS
#nav-bar {
|
|
margin-top: var(--enso-element-separation) !important;
|
|
margin-bottom: var(--enso-element-separation) !important;
|
|
}
|
|
toolbarbutton.titlebar-button {
|
|
height: calc(38px + 2 * var(--enso-element-separation)) !important;
|
|
width: calc(38px + 2 * var(--enso-element-separation)) !important;
|
|
margin-top: calc(-1 * var(--enso-element-separation)) !important;
|
|
}
|