.idc-light-theme,
.idc-dark-theme {
  --font-family: Manrope, 'Helvetica Neue', sans-serif;
  --font-family-monospace: 'Lucida Console', Monaco, monospace;
}

.idc-light-theme {
  --shadow: #00000033 0px 0px 24px -6px, #00000024 0px 0px 48px -14px,
    #0000001f 0px 0px 72px -18px;
  --shadow-subtle: #0000001a 0px 2px 20px -1px, #00000014 0px 1px 20px 0px,
    #0000000a 0px 1px 32px 0px;
  --shadow-subtler: #0000000d 0px 2px 20px -1px, #0000000a 0px 1px 20px 0px,
    #00000005 0px 1px 32px 0px;
}

.idc-dark-theme {
  --shadow: 0 3.2px 7.2px 0 #00000066, 0 0.6px 1.8px 0 #00000087;
  --shadow-subtle: var(--shadow);
  --shadow-subtler: var(--shadow);
}