2021-01-26 17:40:33 +00:00
|
|
|
%main-nav-vertical {
|
|
|
|
position: absolute;
|
|
|
|
left: 0;
|
|
|
|
top: var(--chrome-height, 47px);
|
|
|
|
width: var(--chrome-width, 300px);
|
|
|
|
height: calc(100vh - var(--chrome-height, 47px) - 35px);
|
|
|
|
padding-top: 35px;
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
// disable tabbing when not visible
|
|
|
|
%main-nav-vertical:not(.in-viewport) {
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
2021-09-15 18:50:11 +00:00
|
|
|
%main-nav-vertical li.partitions,
|
2021-10-26 18:26:04 +00:00
|
|
|
%main-nav-vertical li.partition,
|
|
|
|
%main-nav-vertical li.nspaces {
|
2021-01-26 17:40:33 +00:00
|
|
|
margin-bottom: 25px;
|
2021-02-25 09:35:53 +00:00
|
|
|
padding: 0 26px;
|
2021-01-26 17:40:33 +00:00
|
|
|
}
|
2021-10-26 18:26:04 +00:00
|
|
|
%main-nav-vertical li.dcs {
|
|
|
|
margin-bottom: 18px;
|
|
|
|
padding: 0 18px;
|
|
|
|
}
|
2021-01-26 17:40:33 +00:00
|
|
|
// TODO: We no longer have the rule that menu-panel buttons only contain two
|
|
|
|
// items, left and right aligned. We should remove this and look to use
|
|
|
|
// align-self for anything that needs right aligning instead.
|
|
|
|
|
2021-05-27 12:23:54 +00:00
|
|
|
%main-nav-vertical [role='menuitem'] {
|
2021-01-26 17:40:33 +00:00
|
|
|
justify-content: flex-start !important;
|
|
|
|
}
|
2021-05-27 12:23:54 +00:00
|
|
|
%main-nav-vertical [role='menuitem'] span {
|
|
|
|
margin-left: 0.5rem;
|
2021-01-26 17:40:33 +00:00
|
|
|
}
|
|
|
|
%main-nav-vertical-action,
|
2021-05-27 12:23:54 +00:00
|
|
|
%main-nav-vertical li:not([role='separator']) > span,
|
|
|
|
%main-nav-vertical [role='separator'] {
|
2021-01-26 17:40:33 +00:00
|
|
|
display: block;
|
|
|
|
padding: 7px 25px;
|
|
|
|
}
|
2021-05-27 12:23:54 +00:00
|
|
|
%main-nav-vertical [role='separator'] {
|
|
|
|
margin-top: 0.7rem;
|
2021-01-26 17:40:33 +00:00
|
|
|
padding-bottom: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
%main-nav-vertical-menu-panel {
|
2021-02-25 09:35:53 +00:00
|
|
|
min-width: 248px;
|
2021-01-26 17:40:33 +00:00
|
|
|
}
|
2021-04-16 11:13:06 +00:00
|
|
|
%main-nav-vertical-hoisted {
|
|
|
|
visibility: visible;
|
|
|
|
position: fixed;
|
|
|
|
z-index: 10;
|
|
|
|
}
|