update the style of glyph margin

simonsobs · Aug 29, 2023 · bb35b3c · bb35b3c
1 parent 7e594cd
commit bb35b3c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/components/main/trace-frame/code-col/CodeCol.vue b/src/components/main/trace-frame/code-col/CodeCol.vue
@@ -128,16 +128,18 @@ watch(
   background: rgb(var(--v-theme-surface-variant));
 }
 .code-col:deep(.monaco-editor .currentLineContentDim) {
-  background: rgb(var(--v-theme-surface-container));
+  background: rgb(var(--v-theme-surface-container-highest));
 }
 .code-col:deep(.monaco-editor .currentLineMargin::before) {
   color: rgb(var(--v-theme-primary));
   content: "⮕";
+  font-family: 'Noto Sans JP', sans-serif;
   font-size: 24px;
 }
 .code-col:deep(.monaco-editor .currentLineMarginDim::before) {
   color: rgb(var(--v-theme-surface-container-highest));
   content: "⮕";
+  font-family: 'Noto Sans JP', sans-serif;
   font-size: 24px;
 }
 </style>