chore: misc css (#3391)

This commit is contained in:
Jacob Fletcher
2023-09-27 13:18:29 -04:00
committed by GitHub
parent d61eef23d1
commit aa94c00bc6
120 changed files with 1317 additions and 903 deletions

View File

@@ -11,7 +11,7 @@
border: $style-stroke-width-s solid var(--theme-elevation-150);
position: sticky;
z-index: 1;
top: base(4);
top: var(--doc-controls-height);
}
&__toolbar-wrap {