:root {
  /* highlight */
  --jp-editor-mirror-lsp-highlight-background-color: color-mix(
    in srgb,
    var(--jp-layout-color3) 25%,
    transparent
  );
  --jp-editor-mirror-lsp-highlight-border-color: var(--jp-layout-color3);
  /* diagnostics */
  --jp-editor-mirror-lsp-diagnostic-decoration-style: dashed;
  --jp-editor-mirror-lsp-diagnostic-error-decoration-color: var(
    --jp-error-color1
  );
  --jp-editor-mirror-lsp-diagnostic-warning-decoration-color: var(
    --jp-warn-color1
  );
  --jp-editor-mirror-lsp-diagnostic-information-decoration-color: var(
    --jp-info-color1
  );
  --jp-editor-mirror-lsp-diagnostic-hint-decoration-color: var(
    --jp-success-color1
  );
  /* hover */
  --jp-editor-mirror-lsp-hover-decoration-style: dotted;
  --jp-editor-mirror-lsp-hover-decoration-color: var(--jp-brand-color1);
  /* signature */
  --jp-lsp-signature-mark-color: black;
  --jp-lsp-signature-mark-background: yellow;
}