|
@@ -66,6 +66,7 @@ $editor-toggler-bg-dark-color: color.adjust(
|
|
|
background-color: var(--bg-primary-themed);
|
|
background-color: var(--bg-primary-themed);
|
|
|
border-radius: var(--border-radius-full);
|
|
border-radius: var(--border-radius-full);
|
|
|
border: 1px solid var(--border-divider-themed);
|
|
border: 1px solid var(--border-divider-themed);
|
|
|
|
|
+ top: 96px;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
.synctex-control:not(.detach-synctex-control) {
|
|
.synctex-control:not(.detach-synctex-control) {
|