*, ::before, ::after {
  --tw-border-spacing-x: 0;
  --tw-border-spacing-y: 0;
  --tw-translate-x: 0;
  --tw-translate-y: 0;
  --tw-rotate: 0;
  --tw-skew-x: 0;
  --tw-skew-y: 0;
  --tw-scale-x: 1;
  --tw-scale-y: 1;
  --tw-pan-x:  ;
  --tw-pan-y:  ;
  --tw-pinch-zoom:  ;
  --tw-scroll-snap-strictness: proximity;
  --tw-gradient-from-position:  ;
  --tw-gradient-via-position:  ;
  --tw-gradient-to-position:  ;
  --tw-ordinal:  ;
  --tw-slashed-zero:  ;
  --tw-numeric-figure:  ;
  --tw-numeric-spacing:  ;
  --tw-numeric-fraction:  ;
  --tw-ring-inset:  ;
  --tw-ring-offset-width: 0px;
  --tw-ring-offset-color: #fff;
  --tw-ring-color: rgb(59 130 246 / 0.5);
  --tw-ring-offset-shadow: 0 0 #0000;
  --tw-ring-shadow: 0 0 #0000;
  --tw-shadow: 0 0 #0000;
  --tw-shadow-colored: 0 0 #0000;
  --tw-blur:  ;
  --tw-brightness:  ;
  --tw-contrast:  ;
  --tw-grayscale:  ;
  --tw-hue-rotate:  ;
  --tw-invert:  ;
  --tw-saturate:  ;
  --tw-sepia:  ;
  --tw-drop-shadow:  ;
  --tw-backdrop-blur:  ;
  --tw-backdrop-brightness:  ;
  --tw-backdrop-contrast:  ;
  --tw-backdrop-grayscale:  ;
  --tw-backdrop-hue-rotate:  ;
  --tw-backdrop-invert:  ;
  --tw-backdrop-opacity:  ;
  --tw-backdrop-saturate:  ;
  --tw-backdrop-sepia:  ;
  --tw-contain-size:  ;
  --tw-contain-layout:  ;
  --tw-contain-paint:  ;
  --tw-contain-style:  ;
}

::backdrop {
  --tw-border-spacing-x: 0;
  --tw-border-spacing-y: 0;
  --tw-translate-x: 0;
  --tw-translate-y: 0;
  --tw-rotate: 0;
  --tw-skew-x: 0;
  --tw-skew-y: 0;
  --tw-scale-x: 1;
  --tw-scale-y: 1;
  --tw-pan-x:  ;
  --tw-pan-y:  ;
  --tw-pinch-zoom:  ;
  --tw-scroll-snap-strictness: proximity;
  --tw-gradient-from-position:  ;
  --tw-gradient-via-position:  ;
  --tw-gradient-to-position:  ;
  --tw-ordinal:  ;
  --tw-slashed-zero:  ;
  --tw-numeric-figure:  ;
  --tw-numeric-spacing:  ;
  --tw-numeric-fraction:  ;
  --tw-ring-inset:  ;
  --tw-ring-offset-width: 0px;
  --tw-ring-offset-color: #fff;
  --tw-ring-color: rgb(59 130 246 / 0.5);
  --tw-ring-offset-shadow: 0 0 #0000;
  --tw-ring-shadow: 0 0 #0000;
  --tw-shadow: 0 0 #0000;
  --tw-shadow-colored: 0 0 #0000;
  --tw-blur:  ;
  --tw-brightness:  ;
  --tw-contrast:  ;
  --tw-grayscale:  ;
  --tw-hue-rotate:  ;
  --tw-invert:  ;
  --tw-saturate:  ;
  --tw-sepia:  ;
  --tw-drop-shadow:  ;
  --tw-backdrop-blur:  ;
  --tw-backdrop-brightness:  ;
  --tw-backdrop-contrast:  ;
  --tw-backdrop-grayscale:  ;
  --tw-backdrop-hue-rotate:  ;
  --tw-backdrop-invert:  ;
  --tw-backdrop-opacity:  ;
  --tw-backdrop-saturate:  ;
  --tw-backdrop-sepia:  ;
  --tw-contain-size:  ;
  --tw-contain-layout:  ;
  --tw-contain-paint:  ;
  --tw-contain-style:  ;
}

/*
! tailwindcss v3.4.17 | MIT License | https://tailwindcss.com
*/

/*
1. Prevent padding and border from affecting element width. (https://github.com/mozdevs/cssremedy/issues/4)
2. Allow adding a border to an element by just adding a border-width. (https://github.com/tailwindcss/tailwindcss/pull/116)
*/

*,
::before,
::after {
  box-sizing: border-box;
  /* 1 */
  border-width: 0;
  /* 2 */
  border-style: solid;
  /* 2 */
  border-color: #e5e7eb;
  /* 2 */
}

::before,
::after {
  --tw-content: '';
}

/*
1. Use a consistent sensible line-height in all browsers.
2. Prevent adjustments of font size after orientation changes in iOS.
3. Use a more readable tab size.
4. Use the user's configured `sans` font-family by default.
5. Use the user's configured `sans` font-feature-settings by default.
6. Use the user's configured `sans` font-variation-settings by default.
7. Disable tap highlights on iOS
*/

html,
:host {
  line-height: 1.5;
  /* 1 */
  -webkit-text-size-adjust: 100%;
  /* 2 */
  -moz-tab-size: 4;
  /* 3 */
  -o-tab-size: 4;
     tab-size: 4;
  /* 3 */
  font-family: ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
  /* 4 */
  font-feature-settings: normal;
  /* 5 */
  font-variation-settings: normal;
  /* 6 */
  -webkit-tap-highlight-color: transparent;
  /* 7 */
}

/*
1. Remove the margin in all browsers.
2. Inherit line-height from `html` so users can set them as a class directly on the `html` element.
*/

body {
  margin: 0;
  /* 1 */
  line-height: inherit;
  /* 2 */
}

/*
1. Add the correct height in Firefox.
2. Correct the inheritance of border color in Firefox. (https://bugzilla.mozilla.org/show_bug.cgi?id=190655)
3. Ensure horizontal rules are visible by default.
*/

hr {
  height: 0;
  /* 1 */
  color: inherit;
  /* 2 */
  border-top-width: 1px;
  /* 3 */
}

/*
Add the correct text decoration in Chrome, Edge, and Safari.
*/

abbr:where([title]) {
  -webkit-text-decoration: underline dotted;
          text-decoration: underline dotted;
}

/*
Remove the default font size and weight for headings.
*/

h1,
h2,
h3,
h4,
h5,
h6 {
  font-size: inherit;
  font-weight: inherit;
}

/*
Reset links to optimize for opt-in styling instead of opt-out.
*/

a {
  color: inherit;
  text-decoration: inherit;
}

/*
Add the correct font weight in Edge and Safari.
*/

b,
strong {
  font-weight: bolder;
}

/*
1. Use the user's configured `mono` font-family by default.
2. Use the user's configured `mono` font-feature-settings by default.
3. Use the user's configured `mono` font-variation-settings by default.
4. Correct the odd `em` font sizing in all browsers.
*/

code,
kbd,
samp,
pre {
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  /* 1 */
  font-feature-settings: normal;
  /* 2 */
  font-variation-settings: normal;
  /* 3 */
  font-size: 1em;
  /* 4 */
}

/*
Add the correct font size in all browsers.
*/

small {
  font-size: 80%;
}

/*
Prevent `sub` and `sup` elements from affecting the line height in all browsers.
*/

sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sub {
  bottom: -0.25em;
}

sup {
  top: -0.5em;
}

/*
1. Remove text indentation from table contents in Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=999088, https://bugs.webkit.org/show_bug.cgi?id=201297)
2. Correct table border color inheritance in all Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=935729, https://bugs.webkit.org/show_bug.cgi?id=195016)
3. Remove gaps between table borders by default.
*/

table {
  text-indent: 0;
  /* 1 */
  border-color: inherit;
  /* 2 */
  border-collapse: collapse;
  /* 3 */
}

/*
1. Change the font styles in all browsers.
2. Remove the margin in Firefox and Safari.
3. Remove default padding in all browsers.
*/

button,
input,
optgroup,
select,
textarea {
  font-family: inherit;
  /* 1 */
  font-feature-settings: inherit;
  /* 1 */
  font-variation-settings: inherit;
  /* 1 */
  font-size: 100%;
  /* 1 */
  font-weight: inherit;
  /* 1 */
  line-height: inherit;
  /* 1 */
  letter-spacing: inherit;
  /* 1 */
  color: inherit;
  /* 1 */
  margin: 0;
  /* 2 */
  padding: 0;
  /* 3 */
}

/*
Remove the inheritance of text transform in Edge and Firefox.
*/

button,
select {
  text-transform: none;
}

/*
1. Correct the inability to style clickable types in iOS and Safari.
2. Remove default button styles.
*/

button,
input:where([type='button']),
input:where([type='reset']),
input:where([type='submit']) {
  -webkit-appearance: button;
  /* 1 */
  background-color: transparent;
  /* 2 */
  background-image: none;
  /* 2 */
}

/*
Use the modern Firefox focus style for all focusable elements.
*/

:-moz-focusring {
  outline: auto;
}

/*
Remove the additional `:invalid` styles in Firefox. (https://github.com/mozilla/gecko-dev/blob/2f9eacd9d3d995c937b4251a5557d95d494c9be1/layout/style/res/forms.css#L728-L737)
*/

:-moz-ui-invalid {
  box-shadow: none;
}

/*
Add the correct vertical alignment in Chrome and Firefox.
*/

progress {
  vertical-align: baseline;
}

/*
Correct the cursor style of increment and decrement buttons in Safari.
*/

::-webkit-inner-spin-button,
::-webkit-outer-spin-button {
  height: auto;
}

/*
1. Correct the odd appearance in Chrome and Safari.
2. Correct the outline style in Safari.
*/

[type='search'] {
  -webkit-appearance: textfield;
  /* 1 */
  outline-offset: -2px;
  /* 2 */
}

/*
Remove the inner padding in Chrome and Safari on macOS.
*/

::-webkit-search-decoration {
  -webkit-appearance: none;
}

/*
1. Correct the inability to style clickable types in iOS and Safari.
2. Change font properties to `inherit` in Safari.
*/

::-webkit-file-upload-button {
  -webkit-appearance: button;
  /* 1 */
  font: inherit;
  /* 2 */
}

/*
Add the correct display in Chrome and Safari.
*/

summary {
  display: list-item;
}

/*
Removes the default spacing and border for appropriate elements.
*/

blockquote,
dl,
dd,
h1,
h2,
h3,
h4,
h5,
h6,
hr,
figure,
p,
pre {
  margin: 0;
}

fieldset {
  margin: 0;
  padding: 0;
}

legend {
  padding: 0;
}

ol,
ul,
menu {
  list-style: none;
  margin: 0;
  padding: 0;
}

/*
Reset default styling for dialogs.
*/

dialog {
  padding: 0;
}

/*
Prevent resizing textareas horizontally by default.
*/

textarea {
  resize: vertical;
}

/*
1. Reset the default placeholder opacity in Firefox. (https://github.com/tailwindlabs/tailwindcss/issues/3300)
2. Set the default placeholder color to the user's configured gray 400 color.
*/

input::-moz-placeholder, textarea::-moz-placeholder {
  opacity: 1;
  /* 1 */
  color: #9ca3af;
  /* 2 */
}

input::placeholder,
textarea::placeholder {
  opacity: 1;
  /* 1 */
  color: #9ca3af;
  /* 2 */
}

/*
Set the default cursor for buttons.
*/

button,
[role="button"] {
  cursor: pointer;
}

/*
Make sure disabled buttons don't get the pointer cursor.
*/

:disabled {
  cursor: default;
}

/*
1. Make replaced elements `display: block` by default. (https://github.com/mozdevs/cssremedy/issues/14)
2. Add `vertical-align: middle` to align replaced elements more sensibly by default. (https://github.com/jensimmons/cssremedy/issues/14#issuecomment-634934210)
   This can trigger a poorly considered lint error in some tools but is included by design.
*/

img,
svg,
video,
canvas,
audio,
iframe,
embed,
object {
  display: block;
  /* 1 */
  vertical-align: middle;
  /* 2 */
}

/*
Constrain images and videos to the parent width and preserve their intrinsic aspect ratio. (https://github.com/mozdevs/cssremedy/issues/14)
*/

img,
video {
  max-width: 100%;
  height: auto;
}

/* Make elements with the HTML hidden attribute stay hidden by default */

[hidden]:where(:not([hidden="until-found"])) {
  display: none;
}

.\!container {
  width: 100% !important;
}

.container {
  width: 100%;
}

@media (min-width: 640px) {
  .\!container {
    max-width: 640px !important;
  }

  .container {
    max-width: 640px;
  }
}

@media (min-width: 768px) {
  .\!container {
    max-width: 768px !important;
  }

  .container {
    max-width: 768px;
  }
}

@media (min-width: 1024px) {
  .\!container {
    max-width: 1024px !important;
  }

  .container {
    max-width: 1024px;
  }
}

@media (min-width: 1280px) {
  .\!container {
    max-width: 1280px !important;
  }

  .container {
    max-width: 1280px;
  }
}

@media (min-width: 1536px) {
  .\!container {
    max-width: 1536px !important;
  }

  .container {
    max-width: 1536px;
  }
}

.pointer-events-none {
  pointer-events: none;
}

.\!visible {
  visibility: visible !important;
}

.visible {
  visibility: visible;
}

.invisible {
  visibility: hidden;
}

.collapse {
  visibility: collapse;
}

.static {
  position: static;
}

.fixed {
  position: fixed;
}

.absolute {
  position: absolute;
}

.relative {
  position: relative;
}

.inset-x-0 {
  left: 0px;
  right: 0px;
}

.-right-\[50px\] {
  right: -50px;
}

.bottom-0 {
  bottom: 0px;
}

.bottom-1 {
  bottom: 0.25rem;
}

.left-0 {
  left: 0px;
}

.left-1\/2 {
  left: 50%;
}

.left-4 {
  left: 1rem;
}

.left-\[\.695rem\] {
  left: .695rem;
}

.left-full {
  left: 100%;
}

.right-0 {
  right: 0px;
}

.right-2 {
  right: 0.5rem;
}

.right-6 {
  right: 1.5rem;
}

.right-\[23\.4rem\] {
  right: 23.4rem;
}

.right-\[23\.7rem\] {
  right: 23.7rem;
}

.right-\[25rem\] {
  right: 25rem;
}

.right-\[27rem\] {
  right: 27rem;
}

.right-\[30\.3rem\] {
  right: 30.3rem;
}

.top-0 {
  top: 0px;
}

.top-1\/2 {
  top: 50%;
}

.top-14 {
  top: 3.5rem;
}

.top-2 {
  top: 0.5rem;
}

.top-3 {
  top: 0.75rem;
}

.top-4 {
  top: 1rem;
}

.top-\[\.55rem\] {
  top: .55rem;
}

.top-\[\.75rem\] {
  top: .75rem;
}

.top-full {
  top: 100%;
}

.z-0 {
  z-index: 0;
}

.z-10 {
  z-index: 10;
}

.z-20 {
  z-index: 20;
}

.z-50 {
  z-index: 50;
}

.z-\[0\] {
  z-index: 0;
}

.z-\[100\] {
  z-index: 100;
}

.z-\[10\] {
  z-index: 10;
}

.z-\[110\] {
  z-index: 110;
}

.z-\[115\] {
  z-index: 115;
}

.z-\[150\] {
  z-index: 150;
}

.z-\[15\] {
  z-index: 15;
}

.z-\[1\] {
  z-index: 1;
}

.z-\[200\] {
  z-index: 200;
}

.z-\[205\] {
  z-index: 205;
}

.z-\[250\] {
  z-index: 250;
}

.z-\[300\] {
  z-index: 300;
}

.z-\[50\] {
  z-index: 50;
}

.z-\[5\] {
  z-index: 5;
}

.z-\[60\] {
  z-index: 60;
}

.m-1 {
  margin: 0.25rem;
}

.m-3 {
  margin: 0.75rem;
}

.mx-1 {
  margin-left: 0.25rem;
  margin-right: 0.25rem;
}

.mx-2 {
  margin-left: 0.5rem;
  margin-right: 0.5rem;
}

.mx-4 {
  margin-left: 1rem;
  margin-right: 1rem;
}

.mx-auto {
  margin-left: auto;
  margin-right: auto;
}

.my-2 {
  margin-top: 0.5rem;
  margin-bottom: 0.5rem;
}

.my-3 {
  margin-top: 0.75rem;
  margin-bottom: 0.75rem;
}

.my-4 {
  margin-top: 1rem;
  margin-bottom: 1rem;
}

.my-\[6rem\] {
  margin-top: 6rem;
  margin-bottom: 6rem;
}

.my-auto {
  margin-top: auto;
  margin-bottom: auto;
}

.-ml-px {
  margin-left: -1px;
}

.mb-1 {
  margin-bottom: 0.25rem;
}

.mb-2 {
  margin-bottom: 0.5rem;
}

.mb-3 {
  margin-bottom: 0.75rem;
}

.mb-5 {
  margin-bottom: 1.25rem;
}

.mb-6 {
  margin-bottom: 1.5rem;
}

.mb-8 {
  margin-bottom: 2rem;
}

.mb-\[5rem\] {
  margin-bottom: 5rem;
}

.ml-0 {
  margin-left: 0px;
}

.ml-1 {
  margin-left: 0.25rem;
}

.ml-1\.5 {
  margin-left: 0.375rem;
}

.ml-2 {
  margin-left: 0.5rem;
}

.ml-4 {
  margin-left: 1rem;
}

.ml-8 {
  margin-left: 2rem;
}

.ml-96 {
  margin-left: 24rem;
}

.ml-\[20rem\] {
  margin-left: 20rem;
}

.ml-\[23\.95rem\] {
  margin-left: 23.95rem;
}

.ml-auto {
  margin-left: auto;
}

.mr-1 {
  margin-right: 0.25rem;
}

.mr-10 {
  margin-right: 2.5rem;
}

.mr-2 {
  margin-right: 0.5rem;
}

.mr-\[3\.1rem\] {
  margin-right: 3.1rem;
}

.mt-1 {
  margin-top: 0.25rem;
}

.mt-10 {
  margin-top: 2.5rem;
}

.mt-2 {
  margin-top: 0.5rem;
}

.mt-4 {
  margin-top: 1rem;
}

.mt-\[5\.8rem\] {
  margin-top: 5.8rem;
}

.mt-\[5rem\] {
  margin-top: 5rem;
}

.block {
  display: block;
}

.inline-block {
  display: inline-block;
}

.inline {
  display: inline;
}

.flex {
  display: flex;
}

.inline-flex {
  display: inline-flex;
}

.table {
  display: table;
}

.grid {
  display: grid;
}

.contents {
  display: contents;
}

.hidden {
  display: none;
}

.size-3 {
  width: 0.75rem;
  height: 0.75rem;
}

.size-full {
  width: 100%;
  height: 100%;
}

.h-10 {
  height: 2.5rem;
}

.h-11 {
  height: 2.75rem;
}

.h-14 {
  height: 3.5rem;
}

.h-16 {
  height: 4rem;
}

.h-2 {
  height: 0.5rem;
}

.h-2\/3 {
  height: 66.666667%;
}

.h-24 {
  height: 6rem;
}

.h-3\.5 {
  height: 0.875rem;
}

.h-5 {
  height: 1.25rem;
}

.h-6 {
  height: 1.5rem;
}

.h-7 {
  height: 1.75rem;
}

.h-8 {
  height: 2rem;
}

.h-9 {
  height: 2.25rem;
}

.h-\[14px\] {
  height: 14px;
}

.h-\[18px\] {
  height: 18px;
}

.h-\[2\.5px\] {
  height: 2.5px;
}

.h-\[2\.9rem\] {
  height: 2.9rem;
}

.h-\[22px\] {
  height: 22px;
}

.h-\[26px\] {
  height: 26px;
}

.h-\[50vh\] {
  height: 50vh;
}

.h-\[80\%\] {
  height: 80%;
}

.h-\[calc\(50vh_-_4rem\)\] {
  height: calc(50vh - 4rem);
}

.h-full {
  height: 100%;
}

.h-screen {
  height: 100vh;
}

.max-h-64 {
  max-height: 16rem;
}

.max-h-none {
  max-height: none;
}

.min-h-16 {
  min-height: 4rem;
}

.min-h-24 {
  min-height: 6rem;
}

.min-h-\[88\%\] {
  min-height: 88%;
}

.min-h-\[88vh\] {
  min-height: 88vh;
}

.w-1\/3 {
  width: 33.333333%;
}

.w-10 {
  width: 2.5rem;
}

.w-12 {
  width: 3rem;
}

.w-28 {
  width: 7rem;
}

.w-3\.5 {
  width: 0.875rem;
}

.w-32 {
  width: 8rem;
}

.w-44 {
  width: 11rem;
}

.w-5 {
  width: 1.25rem;
}

.w-64 {
  width: 16rem;
}

.w-7 {
  width: 1.75rem;
}

.w-72 {
  width: 18rem;
}

.w-9 {
  width: 2.25rem;
}

.w-96 {
  width: 24rem;
}

.w-\[10\.2rem\] {
  width: 10.2rem;
}

.w-\[100\%\] {
  width: 100%;
}

.w-\[14px\] {
  width: 14px;
}

.w-\[18px\] {
  width: 18px;
}

.w-\[22px\] {
  width: 22px;
}

.w-\[26px\] {
  width: 26px;
}

.w-\[39\.05rem\] {
  width: 39.05rem;
}

.w-\[3px\] {
  width: 3px;
}

.w-\[63rem\] {
  width: 63rem;
}

.w-\[73\%\] {
  width: 73%;
}

.w-\[98\%\] {
  width: 98%;
}

.w-full {
  width: 100%;
}

.min-w-0 {
  min-width: 0px;
}

.min-w-\[180px\] {
  min-width: 180px;
}

.min-w-\[2\.5rem\] {
  min-width: 2.5rem;
}

.min-w-\[320px\] {
  min-width: 320px;
}

.min-w-\[3rem\] {
  min-width: 3rem;
}

.max-w-3xl {
  max-width: 48rem;
}

.max-w-80 {
  max-width: 20rem;
}

.max-w-\[500px\] {
  max-width: 500px;
}

.max-w-\[8rem\] {
  max-width: 8rem;
}

.max-w-full {
  max-width: 100%;
}

.max-w-md {
  max-width: 28rem;
}

.flex-1 {
  flex: 1 1 0%;
}

.shrink-0 {
  flex-shrink: 0;
}

.grow {
  flex-grow: 1;
}

.basis-fifty {
  flex-basis: 50%;
}

.basis-ninety {
  flex-basis: 90%;
}

.basis-ten {
  flex-basis: 10%;
}

.border-collapse {
  border-collapse: collapse;
}

.origin-right {
  transform-origin: right;
}

.-translate-x-1\/2 {
  --tw-translate-x: -50%;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.-translate-x-full {
  --tw-translate-x: -100%;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.-translate-y-1\/2 {
  --tw-translate-y: -50%;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.-translate-y-3\/4 {
  --tw-translate-y: -75%;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.translate-x-0 {
  --tw-translate-x: 0px;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.translate-x-full {
  --tw-translate-x: 100%;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.translate-y-\[calc\(50vh_-_4rem\)\] {
  --tw-translate-y: calc(50vh - 4rem);
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.rotate-90 {
  --tw-rotate: 90deg;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.scale-75 {
  --tw-scale-x: .75;
  --tw-scale-y: .75;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.scale-\[0\.7\] {
  --tw-scale-x: 0.7;
  --tw-scale-y: 0.7;
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.transform {
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));
}

.cursor-auto {
  cursor: auto;
}

.cursor-crosshair {
  cursor: crosshair;
}

.cursor-default {
  cursor: default;
}

.cursor-move {
  cursor: move;
}

.cursor-not-allowed {
  cursor: not-allowed;
}

.cursor-pointer {
  cursor: pointer;
}

.cursor-text {
  cursor: text;
}

.touch-none {
  touch-action: none;
}

.select-none {
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
}

.resize {
  resize: both;
}

.flex-row {
  flex-direction: row;
}

.flex-col {
  flex-direction: column;
}

.flex-wrap {
  flex-wrap: wrap;
}

.content-center {
  align-content: center;
}

.items-center {
  align-items: center;
}

.items-baseline {
  align-items: baseline;
}

.justify-end {
  justify-content: flex-end;
}

.justify-center {
  justify-content: center;
}

.justify-between {
  justify-content: space-between;
}

.gap-1 {
  gap: 0.25rem;
}

.gap-1\.5 {
  gap: 0.375rem;
}

.gap-2 {
  gap: 0.5rem;
}

.gap-3 {
  gap: 0.75rem;
}

.gap-4 {
  gap: 1rem;
}

.space-y-1 > :not([hidden]) ~ :not([hidden]) {
  --tw-space-y-reverse: 0;
  margin-top: calc(0.25rem * calc(1 - var(--tw-space-y-reverse)));
  margin-bottom: calc(0.25rem * var(--tw-space-y-reverse));
}

.self-center {
  align-self: center;
}

.self-stretch {
  align-self: stretch;
}

.overflow-hidden {
  overflow: hidden;
}

.overflow-scroll {
  overflow: scroll;
}

.overflow-x-auto {
  overflow-x: auto;
}

.overflow-y-auto {
  overflow-y: auto;
}

.overflow-x-hidden {
  overflow-x: hidden;
}

.overflow-y-hidden {
  overflow-y: hidden;
}

.overflow-y-scroll {
  overflow-y: scroll;
}

.truncate {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.whitespace-normal {
  white-space: normal;
}

.whitespace-nowrap {
  white-space: nowrap;
}

.whitespace-pre-wrap {
  white-space: pre-wrap;
}

.text-nowrap {
  text-wrap: nowrap;
}

.break-words {
  overflow-wrap: break-word;
}

.rounded {
  border-radius: 0.25rem;
}

.rounded-\[10px\] {
  border-radius: 10px;
}

.rounded-full {
  border-radius: 9999px;
}

.rounded-lg {
  border-radius: 0.5rem;
}

.rounded-md {
  border-radius: 0.375rem;
}

.rounded-xl {
  border-radius: 0.75rem;
}

.rounded-l-md {
  border-top-left-radius: 0.375rem;
  border-bottom-left-radius: 0.375rem;
}

.rounded-r-md {
  border-top-right-radius: 0.375rem;
  border-bottom-right-radius: 0.375rem;
}

.rounded-t-md {
  border-top-left-radius: 0.375rem;
  border-top-right-radius: 0.375rem;
}

.border {
  border-width: 1px;
}

.border-2 {
  border-width: 2px;
}

.border-\[1\.3px\] {
  border-width: 1.3px;
}

.border-\[1\.5px\] {
  border-width: 1.5px;
}

.border-b {
  border-bottom-width: 1px;
}

.border-l-0 {
  border-left-width: 0px;
}

.border-l-2 {
  border-left-width: 2px;
}

.border-r {
  border-right-width: 1px;
}

.border-t {
  border-top-width: 1px;
}

.border-t-\[1\.5px\] {
  border-top-width: 1.5px;
}

.border-solid {
  border-style: solid;
}

.border-\[\#000000\] {
  --tw-border-opacity: 1;
  border-color: rgb(0 0 0 / var(--tw-border-opacity, 1));
}

.border-\[\#3a373d\] {
  --tw-border-opacity: 1;
  border-color: rgb(58 55 61 / var(--tw-border-opacity, 1));
}

.border-\[\#4a4150\] {
  --tw-border-opacity: 1;
  border-color: rgb(74 65 80 / var(--tw-border-opacity, 1));
}

.border-\[\#7A3B69\] {
  --tw-border-opacity: 1;
  border-color: rgb(122 59 105 / var(--tw-border-opacity, 1));
}

.border-\[\#99AC73\] {
  --tw-border-opacity: 1;
  border-color: rgb(153 172 115 / var(--tw-border-opacity, 1));
}

.border-\[\#A56AC7\] {
  --tw-border-opacity: 1;
  border-color: rgb(165 106 199 / var(--tw-border-opacity, 1));
}

.border-\[\#A7ABDE\] {
  --tw-border-opacity: 1;
  border-color: rgb(167 171 222 / var(--tw-border-opacity, 1));
}

.border-\[\#F6C7B3\] {
  --tw-border-opacity: 1;
  border-color: rgb(246 199 179 / var(--tw-border-opacity, 1));
}

.border-\[\#FFA69E\] {
  --tw-border-opacity: 1;
  border-color: rgb(255 166 158 / var(--tw-border-opacity, 1));
}

.border-symi-bg-expr {
  --tw-border-opacity: 1;
  border-color: rgb(67 60 67 / var(--tw-border-opacity, 1));
}

.border-symi-highlight {
  --tw-border-opacity: 1;
  border-color: rgb(165 106 199 / var(--tw-border-opacity, 1));
}

.border-symi-lowlight {
  --tw-border-opacity: 1;
  border-color: rgb(90 71 101 / var(--tw-border-opacity, 1));
}

.border-symi-midlight {
  --tw-border-opacity: 1;
  border-color: rgb(89 61 105 / var(--tw-border-opacity, 1));
}

.border-symi-text {
  --tw-border-opacity: 1;
  border-color: rgb(171 156 191 / var(--tw-border-opacity, 1));
}

.border-transparent {
  border-color: rgba(0, 0, 0, 0);
}

.bg-\[\#000000\] {
  --tw-bg-opacity: 1;
  background-color: rgb(0 0 0 / var(--tw-bg-opacity, 1));
}

.bg-\[\#7A3B69\] {
  --tw-bg-opacity: 1;
  background-color: rgb(122 59 105 / var(--tw-bg-opacity, 1));
}

.bg-\[\#99AC73\] {
  --tw-bg-opacity: 1;
  background-color: rgb(153 172 115 / var(--tw-bg-opacity, 1));
}

.bg-\[\#A56AC7\] {
  --tw-bg-opacity: 1;
  background-color: rgb(165 106 199 / var(--tw-bg-opacity, 1));
}

.bg-\[\#A7ABDE\] {
  --tw-bg-opacity: 1;
  background-color: rgb(167 171 222 / var(--tw-bg-opacity, 1));
}

.bg-\[\#F6C7B3\] {
  --tw-bg-opacity: 1;
  background-color: rgb(246 199 179 / var(--tw-bg-opacity, 1));
}

.bg-\[\#FFA69E\] {
  --tw-bg-opacity: 1;
  background-color: rgb(255 166 158 / var(--tw-bg-opacity, 1));
}

.bg-symi-bg-expr-secondary {
  --tw-bg-opacity: 1;
  background-color: rgb(67 56 67 / var(--tw-bg-opacity, 1));
}

.bg-symi-bg-main {
  --tw-bg-opacity: 1;
  background-color: rgb(51 47 51 / var(--tw-bg-opacity, 1));
}

.bg-symi-bg-offset {
  --tw-bg-opacity: 1;
  background-color: rgb(53 49 53 / var(--tw-bg-opacity, 1));
}

.bg-symi-bg-secondary {
  --tw-bg-opacity: 1;
  background-color: rgb(47 44 47 / var(--tw-bg-opacity, 1));
}

.bg-symi-bg-tertiary {
  --tw-bg-opacity: 1;
  background-color: rgb(35 33 35 / var(--tw-bg-opacity, 1));
}

.bg-symi-err {
  --tw-bg-opacity: 1;
  background-color: rgb(199 106 106 / var(--tw-bg-opacity, 1));
}

.bg-symi-highlight {
  --tw-bg-opacity: 1;
  background-color: rgb(165 106 199 / var(--tw-bg-opacity, 1));
}

.bg-symi-lowlight {
  --tw-bg-opacity: 1;
  background-color: rgb(90 71 101 / var(--tw-bg-opacity, 1));
}

.bg-symi-ok {
  --tw-bg-opacity: 1;
  background-color: rgb(127 179 138 / var(--tw-bg-opacity, 1));
}

.bg-symi-warn {
  --tw-bg-opacity: 1;
  background-color: rgb(199 154 106 / var(--tw-bg-opacity, 1));
}

.bg-transparent {
  background-color: rgba(0, 0, 0, 0);
}

.bg-opacity-0 {
  --tw-bg-opacity: 0;
}

.bg-opacity-100 {
  --tw-bg-opacity: 1;
}

.bg-opacity-50 {
  --tw-bg-opacity: 0.5;
}

.bg-opacity-\[\.03\] {
  --tw-bg-opacity: .03;
}

.stroke-\[1\.5px\] {
  stroke-width: 1.5px;
}

.stroke-\[2\.5px\] {
  stroke-width: 2.5px;
}

.p-1 {
  padding: 0.25rem;
}

.p-2 {
  padding: 0.5rem;
}

.p-3 {
  padding: 0.75rem;
}

.p-4 {
  padding: 1rem;
}

.p-6 {
  padding: 1.5rem;
}

.px-0 {
  padding-left: 0px;
  padding-right: 0px;
}

.px-1 {
  padding-left: 0.25rem;
  padding-right: 0.25rem;
}

.px-1\.5 {
  padding-left: 0.375rem;
  padding-right: 0.375rem;
}

.px-2 {
  padding-left: 0.5rem;
  padding-right: 0.5rem;
}

.px-2\.5 {
  padding-left: 0.625rem;
  padding-right: 0.625rem;
}

.px-3 {
  padding-left: 0.75rem;
  padding-right: 0.75rem;
}

.px-4 {
  padding-left: 1rem;
  padding-right: 1rem;
}

.px-5 {
  padding-left: 1.25rem;
  padding-right: 1.25rem;
}

.px-8 {
  padding-left: 2rem;
  padding-right: 2rem;
}

.px-\[\.5rem\] {
  padding-left: .5rem;
  padding-right: .5rem;
}

.py-0\.5 {
  padding-top: 0.125rem;
  padding-bottom: 0.125rem;
}

.py-1 {
  padding-top: 0.25rem;
  padding-bottom: 0.25rem;
}

.py-1\.5 {
  padding-top: 0.375rem;
  padding-bottom: 0.375rem;
}

.py-10 {
  padding-top: 2.5rem;
  padding-bottom: 2.5rem;
}

.py-2 {
  padding-top: 0.5rem;
  padding-bottom: 0.5rem;
}

.py-3 {
  padding-top: 0.75rem;
  padding-bottom: 0.75rem;
}

.py-\[2px\] {
  padding-top: 2px;
  padding-bottom: 2px;
}

.pb-2 {
  padding-bottom: 0.5rem;
}

.pb-3\.5 {
  padding-bottom: 0.875rem;
}

.pb-4 {
  padding-bottom: 1rem;
}

.pb-6 {
  padding-bottom: 1.5rem;
}

.pl-0 {
  padding-left: 0px;
}

.pl-2 {
  padding-left: 0.5rem;
}

.pl-3 {
  padding-left: 0.75rem;
}

.pl-4 {
  padding-left: 1rem;
}

.pr-0 {
  padding-right: 0px;
}

.pr-1 {
  padding-right: 0.25rem;
}

.pr-2 {
  padding-right: 0.5rem;
}

.pt-2 {
  padding-top: 0.5rem;
}

.pt-3 {
  padding-top: 0.75rem;
}

.pt-5 {
  padding-top: 1.25rem;
}

.text-left {
  text-align: left;
}

.text-center {
  text-align: center;
}

.text-right {
  text-align: right;
}

.align-middle {
  vertical-align: middle;
}

.font-\[\'katex-code\'\] {
  font-family: 'katex-code';
}

.text-2xl {
  font-size: 1.5rem;
  line-height: 2rem;
}

.text-4xl {
  font-size: 2.25rem;
  line-height: 2.5rem;
}

.text-\[10px\] {
  font-size: 10px;
}

.text-base {
  font-size: 1rem;
  line-height: 1.5rem;
}

.text-lg {
  font-size: 1.125rem;
  line-height: 1.75rem;
}

.text-sm {
  font-size: 0.875rem;
  line-height: 1.25rem;
}

.text-xl {
  font-size: 1.25rem;
  line-height: 1.75rem;
}

.text-xs {
  font-size: 0.75rem;
  line-height: 1rem;
}

.font-semibold {
  font-weight: 600;
}

.uppercase {
  text-transform: uppercase;
}

.lowercase {
  text-transform: lowercase;
}

.normal-case {
  text-transform: none;
}

.italic {
  font-style: italic;
}

.leading-none {
  line-height: 1;
}

.leading-tight {
  line-height: 1.25;
}

.tracking-\[0\.085em\] {
  letter-spacing: 0.085em;
}

.tracking-normal {
  letter-spacing: 0em;
}

.tracking-wide {
  letter-spacing: 0.025em;
}

.text-\[\#000000\] {
  --tw-text-opacity: 1;
  color: rgb(0 0 0 / var(--tw-text-opacity, 1));
}

.text-\[\#786d83\] {
  --tw-text-opacity: 1;
  color: rgb(120 109 131 / var(--tw-text-opacity, 1));
}

.text-\[\#FFA69E\] {
  --tw-text-opacity: 1;
  color: rgb(255 166 158 / var(--tw-text-opacity, 1));
}

.text-symi-highlight {
  --tw-text-opacity: 1;
  color: rgb(165 106 199 / var(--tw-text-opacity, 1));
}

.text-symi-text {
  --tw-text-opacity: 1;
  color: rgb(171 156 191 / var(--tw-text-opacity, 1));
}

.underline {
  text-decoration-line: underline;
}

.opacity-40 {
  opacity: 0.4;
}

.opacity-50 {
  opacity: 0.5;
}

.opacity-60 {
  opacity: 0.6;
}

.opacity-70 {
  opacity: 0.7;
}

.opacity-80 {
  opacity: 0.8;
}

.shadow-\[inset_0px_0px_0px_1\.3px\] {
  --tw-shadow: inset 0px 0px 0px 1.3px;
  --tw-shadow-colored: inset 0px 0px 0px 1.3px var(--tw-shadow-color);
  box-shadow: var(--tw-ring-offset-shadow, 0 0 #0000), var(--tw-ring-shadow, 0 0 #0000), var(--tw-shadow);
}

.shadow-\[inset_0px_0px_0px_1px_\#593d69\] {
  --tw-shadow: inset 0px 0px 0px 1px #593d69;
  --tw-shadow-colored: inset 0px 0px 0px 1px var(--tw-shadow-color);
  box-shadow: var(--tw-ring-offset-shadow, 0 0 #0000), var(--tw-ring-shadow, 0 0 #0000), var(--tw-shadow);
}

.shadow-lg {
  --tw-shadow: 0 10px 15px -3px rgb(0 0 0 / 0.1), 0 4px 6px -4px rgb(0 0 0 / 0.1);
  --tw-shadow-colored: 0 10px 15px -3px var(--tw-shadow-color), 0 4px 6px -4px var(--tw-shadow-color);
  box-shadow: var(--tw-ring-offset-shadow, 0 0 #0000), var(--tw-ring-shadow, 0 0 #0000), var(--tw-shadow);
}

.shadow-md {
  --tw-shadow: 0 4px 6px -1px rgb(0 0 0 / 0.1), 0 2px 4px -2px rgb(0 0 0 / 0.1);
  --tw-shadow-colored: 0 4px 6px -1px var(--tw-shadow-color), 0 2px 4px -2px var(--tw-shadow-color);
  box-shadow: var(--tw-ring-offset-shadow, 0 0 #0000), var(--tw-ring-shadow, 0 0 #0000), var(--tw-shadow);
}

.shadow-\[\#332f33\] {
  --tw-shadow-color: #332f33;
  --tw-shadow: var(--tw-shadow-colored);
}

.shadow-\[\#353135\] {
  --tw-shadow-color: #353135;
  --tw-shadow: var(--tw-shadow-colored);
}

.shadow-symi-lowlight {
  --tw-shadow-color: #5a4765;
  --tw-shadow: var(--tw-shadow-colored);
}

.outline-none {
  outline: 2px solid transparent;
  outline-offset: 2px;
}

.blur {
  --tw-blur: blur(8px);
  filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
}

.filter {
  filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
}

.transition {
  transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, -webkit-backdrop-filter;
  transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter;
  transition-property: color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter, -webkit-backdrop-filter;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 150ms;
}

.transition-\[margin-left\] {
  transition-property: margin-left;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 150ms;
}

.transition-all {
  transition-property: all;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 150ms;
}

.transition-colors {
  transition-property: color, background-color, border-color, text-decoration-color, fill, stroke;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 150ms;
}

.transition-transform {
  transition-property: transform;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 150ms;
}

.duration-300 {
  transition-duration: 300ms;
}

.ease-in-out {
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
}

:root {
  --symi-text: '#AB9CBF';
  --symi-highlight: '#A56AC7';
  --symi-lowlight: '#5a4765';
  --symi-bg-primary: '#3F3939';
  --symi-bg-secondary: '#2F2C2F';
  --symi-bg-expr: '#433c43';
  --symi-bg-expr-secondary: '#433843';
  --transparent: 'rgba(0, 0, 0, 0)';
  --symi-safe-area-inset-top: env(safe-area-inset-top, 0px);
  --symi-safe-area-inset-right: env(safe-area-inset-right, 0px);
  --symi-safe-area-inset-bottom: env(safe-area-inset-bottom, 0px);
  --symi-safe-area-inset-left: env(safe-area-inset-left, 0px);
  --symi-status-indicator-bottom: min(var(--symi-safe-area-inset-top), var(--symi-safe-area-inset-top) / 2 + 0.5rem);
  --symi-top-control-clearance: 0px;
  --symi-top-control-offset: max(0.75rem, var(--symi-status-indicator-bottom) + 0.65rem + var(--symi-top-control-clearance));
  --symi-bottom-control-offset: max(0px, var(--symi-safe-area-inset-bottom) - 0.5rem);
}

:root[data-symi-measured-safe-area] {
  --symi-top-control-clearance: 0.25rem;
}

::-webkit-scrollbar {
  display: none;
  -ms-overflow-style: none;
  scrollbar-width: none;
}

.hidden-input{
  position: absolute;
  text-decoration: none;
  pointer-events: none;
  caret-color: var(--transparent);
  background-color: var(--transparent);
  border: 0px solid var(--transparent);
  color: var(--transparent);
  opacity: 0;
}

#mode-selector{
  position: absolute;
}

html:not(.is-mobile) #mode-container {
  top: var(--symi-top-control-offset);
}

#expr-container{
  position: relative;
  margin-top: 2rem;
}

#plot-container {
  position: relative;
  margin-top: 2rem;
  display: none;
}

.title-img {
  color: #9c7bae;
  position: absolute;
  right: 45%;
  margin-top: 10px;
  height: 20px;
  bottom: 100;
}

span.blink-span:nth-child(2) {
  animation: blinker .95s step-start infinite;
}

.blink {
  animation: blinker .95s step-start infinite;
}

@keyframes blinker {
  50% {
    opacity: 0;
  }
}

#open_sidebar {
  box-shadow: 2px 1px 3px -1px rgba(90, 71, 101, 0.45);
  transition: background-color 300ms ease-in-out, translate 300ms ease-in-out;
}

#open_sidebar::before {
  content: "";
  position: absolute;
  top: 0;
  bottom: 0;
  left: -1px;
  width: 2px;
  background-color: #2F2C2F;
  transition: background-color 300ms ease-in-out;
}

#open_sidebar.info-panel-open::before {
  background-color: #353135;
}

.is-mobile #open_sidebar::before {
  content: none;
}

#open_sidebar.info-panel-open {
  background-color: #353135;
}

.is-mobile #open_sidebar {
  box-shadow: none;
}

#sidebar-scroll {
  contain: paint;
}

html:not(.is-mobile) #sidebar-content {
  padding-top: calc(var(--symi-top-control-offset) + 0.25rem);
}

html:not(.is-mobile) #open_sidebar {
  top: var(--symi-top-control-offset);
}

#open_sidebar .sidebar-tab-chevron {
  transition: transform 300ms ease-in-out;
}

#open_sidebar.open .sidebar-tab-chevron {
  transform: rotate(180deg);
}

.bg-opacity-2 {
  --tw-bg-opacity: 0.04;
}

@font-face {
  font-family: katex-num;

  src: url(font/katex-num.ttf), format("truetype");
}

#graph-canvas {
  font-family: katex-num;
}

@font-face {
  font-family: katex-text;

  src: url(font/KaTeX_Main-Regular.ttf), format("truetype");
}

@font-face {
  font-family: katex-code;

  src: url(font/KaTeX_Typewriter-Regular.ttf), format("truetype");
}

@font-face {
  font-family: katex;

  src: url(font/KaTeX_Main-Regular.ttf), format("truetype");
}

#workspace-fields-page {
  font-family: katex-text;
  white-space: pre-wrap;
  overflow-wrap: break-word;
  line-height: 2.5rem;
}

.ws-block {
  min-height: 2.5rem;
  max-width: 100%;
}

.ws-math {
  display: inline-block;
  vertical-align: baseline;
  white-space: normal;
  font-size: 1rem;
  margin: 0 0.5rem;
  max-width: calc(100% - 1rem);
}

.ws-math .ws-math-mount {
  display: inline-block;
  vertical-align: baseline;
  max-width: 100%;
}

.ws-math .mq-root-block {
  vertical-align: baseline;
  overflow-x: auto;
  overflow-y: hidden;
  scrollbar-width: none;
}

.ws-math[data-empty="true"] .ws-math-mount {
  min-width: 1.15rem;
  border-radius: 3px;
  background: #5a4765;
}

.ws-math.ws-math-display {
  display: block;
  margin: 0.75rem auto;
  text-align: center;
  max-width: 100%;
}

.strikethrough {
  position: relative;
}

.strikethrough:before {
  position: absolute;
  content: "";
  left: 0;
  top: 50%;
  right: 0;
  border-top: 1px solid;
  border-color: inherit;
  transform:rotate(-5deg);
}

.reconnect-dots span {
  animation: dot-pulse 1.4s ease-in-out infinite;
  color: rgb(90 71 101);
}

.reconnect-dots span:nth-child(1) {
  animation-delay: 0s;
}

.reconnect-dots span:nth-child(2) {
  animation-delay: 0.2s;
}

.reconnect-dots span:nth-child(3) {
  animation-delay: 0.4s;
}

@keyframes dot-pulse {
  0%, 80%, 100% {
    color: rgb(90 71 101);
  }

  40% {
    color: rgb(171 156 191);
  }
}

.symicas-documentation-content h1 {
  color: #A56AC7;
  font-size: 1.9rem;
  font-weight: 700;
  margin: 1.2rem 0 0.8rem 0;
}

.symicas-documentation-content h2 {
  color: #A56AC7;
  font-size: 1.4rem;
  font-weight: 600;
  margin: 1.6rem 0 0.6rem 0;
  border-bottom: 1px solid #5a4765;
  padding-bottom: 0.25rem;
}

.symicas-documentation-content h3 {
  color: #9c7bae;
  font-size: 1.15rem;
  font-weight: 600;
  margin: 1.4rem 0 0.4rem 0;
}

.symicas-documentation-content p,
.symicas-documentation-content li {
  line-height: 1.6;
  margin: 0.4rem 0;
}

.symicas-documentation-content ul {
  list-style: disc;
  padding-left: 1.4rem;
}

.symicas-documentation-content a {
  color: #A56AC7;
  text-decoration: underline;
}

.symicas-documentation-content code {
  background-color: #2F2C2F;
  border-radius: 4px;
  padding: 0.1rem 0.35rem;
  font-size: 0.9em;
}

.symicas-documentation-content pre {
  background-color: #2F2C2F;
  border-radius: 8px;
  padding: 0.9rem 1.1rem;
  margin: 0.8rem 0;
  overflow-x: auto;
}

.symicas-documentation-content pre code {
  background-color: transparent;
  padding: 0;
}

.symicas-documentation-content table {
  border-collapse: collapse;
  margin: 0.8rem 0;
}

.symicas-documentation-content th,
.symicas-documentation-content td {
  border: 1px solid #5a4765;
  padding: 0.35rem 0.7rem;
}

.symicas-documentation-navigation ul {
  list-style: none;
  padding-left: 0;
}

.symicas-documentation-navigation li {
  margin: 0.3rem 0;
}

.symicas-documentation-navigation .symicas-documentation-category-sections {
  padding-left: 0.85rem;
}

.symicas-documentation-navigation .symicas-documentation-section-entries {
  padding-left: 1.75rem;
}

.symicas-documentation-chevron {
  display: inline-block;
  transition: transform 120ms ease;
}

.symicas-documentation-navigation [aria-expanded="true"] > .symicas-documentation-chevron {
  transform: rotate(90deg);
}

.symicas-documentation-navigation a {
  color: #AB9CBF;
  text-decoration: none;
}

.symicas-documentation-navigation a:hover {
  color: #A56AC7;
}

.symicas-documentation-navigation a.symicas-documentation-current {
  color: #A56AC7;
  font-weight: 600;
}

.symicas-documentation-language-option[aria-selected="true"],
.symicas-documentation-language-option:hover,
.symicas-documentation-search-result:hover {
  background-color: #3d3044;
}

.symicas-documentation-language-option:focus-visible,
.symicas-documentation-language-button:focus-visible,
.symicas-documentation-search input:focus-visible,
.symicas-documentation-search-scope:focus-visible,
.symicas-documentation-search-result-link:focus-visible {
  outline: 2px solid #A56AC7;
  outline-offset: 2px;
}

.symicas-documentation-search-results {
  list-style: none;
  max-height: 18rem;
  overflow-y: auto;
  padding: 0;
}

.symicas-documentation-math-error {
  border-left: 3px solid #dc2626;
  padding-left: 0.75rem;
  color: #b91c1c;
}

@media (max-width: 48rem) {
  #documentation_layout {
    flex-direction: column;
  }

  #documentation_sidebar {
    width: 100%;
    height: auto;
    max-height: 45vh;
  }

  #documentation_main {
    flex: 1 1 auto;
    height: auto;
    min-height: 0;
  }
}

.tok-kw  {
  color: #c79ad9;
}

.tok-fn  {
  color: #d0a87a;
}

.tok-num {
  color: #9aa7d0;
}

.tok-str {
  color: #9bbd95;
}

.tok-op  {
  color: #8a7d9b;
}

.tok-com {
  color: #6b5d77;
  font-style: italic;
}

.tok-id  {
  color: #cdc1de;
}

.notebook-cell-row .notebook-cell-actions {
  opacity: 0;
  pointer-events: none;
  transition: opacity 140ms ease;
}

.notebook-cell-row:hover .notebook-cell-actions,
.notebook-cell-row.is-selected .notebook-cell-actions {
  opacity: 1;
  pointer-events: auto;
}

.notebook-cell-row.is-code-hidden .notebook-cell-actions,
.notebook-cell-row.is-code-hidden.is-selected .notebook-cell-actions {
  top: .5rem;
  right: 1.25rem;
  opacity: 0;
  pointer-events: none;
}

.notebook-cell-row.is-code-hidden:hover .notebook-cell-actions,
.notebook-cell-row.is-code-hidden:focus-within .notebook-cell-actions {
  opacity: 1;
  pointer-events: auto;
}

.notebook-cell-rail {
  background: transparent;
  transition: background 140ms ease;
}

.notebook-cell-row:hover .notebook-cell-rail {
  background: #5a4765;
}

.notebook-cell-row.is-selected .notebook-cell-rail {
  background: #A56AC7;
}

.notebook-cell-row.is-running .notebook-cell-rail {
  background: #c79a6a;
}

.notebook-cell-row.is-error .notebook-cell-rail {
  background: #c76a6a;
}

.notebook-cell-card {
  transition: border-color 140ms ease;
}

.notebook-cell-row.is-selected .notebook-cell-card {
  border-color: #593d69;
}

.notebook-cell-card:focus {
  outline: none;
}

.notebook-cell-row.is-code-hidden .notebook-cell-card,
.notebook-cell-row.is-code-hidden.is-selected .notebook-cell-card {
  border-color: transparent;
}

.notebook-cell-row.is-code-hidden:hover .notebook-cell-card,
.notebook-cell-row.is-code-hidden:focus-within .notebook-cell-card {
  border-color: #A56AC7;
}

.notebook-code-editor .cm-editor {
  background: transparent;
  color: inherit;
  font-family: inherit;
  font-size: inherit;
}

.notebook-code-editor .cm-editor.cm-focused {
  outline: none;
}

.notebook-code-editor .cm-scroller {
  font-family: inherit;
  line-height: 1.55rem;
  overflow-x: visible;
}

.notebook-code-editor .cm-content {
  padding: 0 .5rem;
  caret-color: #A56AC7;
}

.notebook-code-editor .cm-line {
  padding: 0;
}

.notebook-code-editor .notebook-inline-output,
.notebook-display-group {
  display: flow-root;
  contain: inline-size;
}

.notebook-code-editor .cm-gutters {
  background: transparent;
  border-right: none;
  color: #6b5d77;
}

.notebook-code-editor .cm-lineNumbers .cm-gutterElement {
  min-width: 28px;
  padding: 0 10px 0 8px;
  font-size: .75rem;
  line-height: 1.55rem;
}

.notebook-code-editor .cm-placeholder {
  color: #6b5d77;
}

.notebook-code-editor .cm-cursor,
.notebook-code-editor .cm-dropCursor {
  border-left-color: #A56AC7;
}

.notebook-code-editor .cm-content ::-moz-selection {
  background: #593d69;
}

.notebook-code-editor .cm-selectionBackground,
.notebook-code-editor .cm-content ::selection {
  background: #593d69;
}

.notebook-code-editor .cm-focused .cm-selectionBackground {
  background: #6b4a7d;
}

.notebook-code-editor .cm-activeLine,
.notebook-code-editor .cm-activeLineGutter {
  background: transparent;
}

.notebook-code-editor .cm-matchingBracket,
.notebook-code-editor .cm-focused .cm-matchingBracket {
  background: #4a3757;
  color: inherit;
  outline: none;
}

.notebook-code-editor .cm-nonmatchingBracket,
.notebook-code-editor .cm-focused .cm-nonmatchingBracket {
  background: #5d3a3a;
  color: inherit;
}

.notebook-cell-spinner svg {
  display: inline-block;
  width: 12px;
  height: 12px;
  animation: notebook-spin 1s linear infinite;
}

@keyframes notebook-spin {
  to {
    transform: rotate(360deg);
  }
}

.notebook-toolbar-button {
  display: inline-flex;
  align-items: center;
  gap: .4rem;
  height: 32px;
  padding: 0 .65rem;
  border-radius: 6px;
  border: 1.5px solid #5a4765;
  background: #353135;
  color: #AB9CBF;
  font-size: 13px;
  line-height: 1;
  transition: all 120ms ease;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
  white-space: nowrap;
}

.notebook-toolbar-button:hover {
  border-color: #593d69;
  background: #433843;
  color: #A56AC7;
}

.notebook-toolbar-button svg {
  width: 14px;
  height: 14px;
  stroke-width: 1.75;
}

.notebook-cell-action {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 28px;
  height: 28px;
  border-radius: 6px;
  border: 1.5px solid #5a4765;
  background: #353135;
  color: #AB9CBF;
  transition: all 120ms ease;
}

.notebook-cell-action:hover {
  border-color: #593d69;
  background: #433843;
  color: #A56AC7;
}

.notebook-cell-action svg {
  width: 14px;
  height: 14px;
  stroke-width: 1.75;
}

.notebook-cell-action span:not(.hidden) {
  display: inline-flex;
  align-items: center;
  justify-content: center;
}

.notebook-cell-delete-button:hover {
  border-color: #c76a6a;
  color: #e58c8c;
}

.notebook-pill {
  display: inline-flex;
  align-items: center;
  gap: .35rem;
  height: 22px;
  padding: 0 .55rem;
  border-radius: 999px;
  font-size: 11px;
  letter-spacing: .02em;
  background: #2F2C2F;
  border: 1px solid #3a373d;
  color: #AB9CBF;
  white-space: nowrap;
}

.notebook-status-dot {
  width: 8px;
  height: 8px;
  border-radius: 999px;
  box-shadow: 0 0 0 3px rgba(127, 179, 138, 0.12);
}

#notebook-root {
  font-family: katex-text;
}

.notebook-output-latex .katex {
  color: #d6cce6;
}

.notebook-output-latex {
  position: relative;
  max-width: 100%;
  text-align: left;
  scrollbar-width: none;
  overflow-y: hidden;
  padding-block: .45em;
}

.notebook-output-latex.is-centered,
.notebook-output-text.is-centered {
  text-align: center;
}

.notebook-display-lines {
  display: flow-root;
  text-align: left;
}

.notebook-display-line {
  text-align: left;
  line-height: 1.6;
}

.notebook-output-latex.is-centered .notebook-display-lines,
.notebook-output-latex.is-centered .notebook-display-line {
  text-align: center;
}

.notebook-display-line.is-blank {
  height: 1.6em;
}

.notebook-display-group-row {
  cursor: pointer;
}

.is-mobile .notebook-display-group-row {
  min-height: 44px;
  display: flex;
  flex-direction: column;
  justify-content: center;
}

.notebook-cell-output-container.is-code-hidden {
  padding: .4rem .35rem;
}

.notebook-cell-output-container.is-code-hidden .notebook-display-group {
  margin: 0;
  padding: 0;
}

.notebook-cell-output-container.is-code-hidden .notebook-output-block {
  margin: 0;
  border-left: none;
  border-radius: 0;
  background: transparent;
}

.notebook-cell-output-container.is-code-hidden .notebook-display-group-row {
  cursor: default;
}

.notebook-cell-hidden-code-strip {
  height: 1.75rem;
  border-radius: 6px;
  border: 1.5px dashed #5a4765;
  opacity: .45;
}

.is-mobile .notebook-cell-hidden-code-strip {
  height: 2.75rem;
}

.notebook-code-editor .cm-tooltip {
  z-index: 60;
  border: 1px solid #5a4765;
  border-radius: 6px;
  background: #2F2C2F;
  box-shadow: 0 8px 24px rgba(0, 0, 0, .35);
  color: #cdc1de;
  font-family: katex-text;
}

.notebook-code-editor .cm-tooltip.cm-tooltip-arrow:before,
.notebook-code-editor .cm-tooltip.cm-tooltip-arrow:after {
  display: none;
}

.notebook-code-editor .cm-tooltip-autocomplete > ul {
  max-height: 16rem;
  font-family: katex-code;
  font-size: .8125rem;
}

.notebook-code-editor .cm-tooltip-autocomplete > ul > li {
  display: flex;
  align-items: baseline;
  gap: .5rem;
  padding: .15rem .5rem;
  line-height: 1.5rem;
}

.notebook-code-editor .cm-tooltip-autocomplete > ul > li[aria-selected] {
  background: #593d69;
  color: #eae2f3;
}

.notebook-code-editor .cm-completionLabel {
  color: #cdc1de;
}

.notebook-code-editor .cm-completionMatchedText {
  text-decoration: none;
  color: #c79ad9;
  font-weight: 600;
}

.notebook-code-editor .cm-completionDetail {
  margin-left: auto;
  padding-left: .75rem;
  max-width: 18rem;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  font-style: normal;
  font-size: .75rem;
  color: #8a7d9b;
}

.notebook-code-editor .cm-completionIcon {
  width: 1.1rem;
  padding-right: 0;
  opacity: .6;
  font-size: .8rem;
}

.notebook-code-editor .cm-tooltip.cm-completionInfo {
  max-width: 22rem;
  padding: .5rem .625rem;
  font-size: .75rem;
}

.notebook-hover-docstring {
  color: #cdc1de;
}

.notebook-signature-hint-parameter {
  color: #8a7d9b;
}

.notebook-signature-hint-parameter.is-active {
  color: #d0a87a;
  font-weight: 600;
}

#workspace-element {
  --workspace-toolbar-height: 3.5rem;
  --workspace-toolbar-clearance: 1rem;
  padding-top: calc(var(--workspace-toolbar-height) + var(--workspace-toolbar-clearance));
}

.workspace-toolbar {
  background: #353135;
  border-bottom: 1px solid #3a373d;
  border-top-left-radius: 6px;
  border-top-right-radius: 6px;
  font-family: katex-text;
  height: var(--workspace-toolbar-height);
}

.ws-tool-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: .35rem;
  height: 2rem;
  min-width: 2rem;
  padding: 0 .45rem;
  border-radius: 6px;
  border: 1px solid transparent;
  background: transparent;
  color: #AB9CBF;
  font-size: 15px;
  line-height: 1;
  transition: all 120ms ease;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
  white-space: nowrap;
  cursor: pointer;
}

@media (hover: hover) and (pointer: fine) {
  .ws-tool-button:hover {
    background: #433843;
    color: #A56AC7;
  }
}

.ws-tool-button:active {
  background: #433843;
  color: #A56AC7;
}

.ws-tool-button.is-active {
  background: #433843;
  color: #A56AC7;
  border-color: #593d69;
}

.ws-tool-button svg {
  width: 16px;
  height: 16px;
  stroke-width: 1.9;
}

.ws-tool-button .katex {
  font-size: .95em;
}

.ws-tool-button--ghost {
  color: #786d83;
}

@media (hover: hover) and (pointer: fine) {
  .ws-tool-button--ghost:hover {
    background: #433843;
    color: #A56AC7;
  }

  .ws-tool-button--danger:hover {
    background: rgba(199, 106, 106, .15);
    color: #e58c8c;
  }
}

.ws-tool-divider {
  flex: 0 0 auto;
  width: 1px;
  height: 1.4rem;
  background: #AB9CBF;
  opacity: .16;
  margin: 0 .15rem;
}

#workspace-field-controls.is-text .ws-math-only {
  display: none;
}

#workspace-field-controls.is-math .ws-text-only {
  display: none;
}

.ws-mode-toggle {
  position: relative;
  display: flex;
  align-items: stretch;
  flex: 0 0 auto;
  width: 8.5rem;
  height: 2rem;
  border-radius: 8px;
  background: #2F2C2F;
  border: 1px solid #4a4150;
  overflow: hidden;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
}

.ws-mode-indicator {
  position: absolute;
  top: 0;
  left: 0;
  width: 50%;
  height: 100%;
  border-radius: 7px;
  background: #433843;
  box-shadow: inset 0 0 0 1px #593d69;
  transition: transform 250ms cubic-bezier(0.4, 0, 0.2, 1);
}

.ws-mode-toggle.is-code .ws-mode-indicator {
  transform: translateX(100%);
}

.ws-mode-option {
  position: relative;
  z-index: 1;
  flex: 1 1 0;
  height: 100%;
  font-size: 13px;
  color: #AB9CBF;
  background: transparent;
  border: none;
  cursor: pointer;
  transition: color 150ms ease;
}

.ws-mode-option:hover {
  color: #A56AC7;
}

.ws-mode-option.is-active {
  color: #A56AC7;
}

/* ----------------------------- Settings cluster ---------------------------- */

.settings-cluster {
  display: inline-flex;
  align-items: center;
  font-family: katex-text;
}

#settings-cluster.absolute {
  top: var(--symi-top-control-offset);
  right: calc(0.5rem + var(--symi-safe-area-inset-right));
}

.settings-gear {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2.1rem;
  height: 2.1rem;
  border-radius: 8px;
  color: #AB9CBF;
  background: transparent;
  border: 1px solid transparent;
  transition: all 120ms ease;
  cursor: pointer;
}

.settings-gear:hover {
  color: #A56AC7;
}

.settings-gear svg {
  width: 18px;
  height: 18px;
  stroke-width: 1.5;
  transition: transform 300ms cubic-bezier(0.4, 0, 0.2, 1);
}

.settings-cluster.is-open .settings-gear,
.settings-cluster.rail-locked .settings-gear {
  color: #A56AC7;
  background: #433843;
  border-color: #593d69;
}

.settings-cluster.is-open .settings-gear svg,
.settings-cluster.rail-locked .settings-gear svg {
  transform: rotate(75deg);
}

@media (hover: hover) and (pointer: fine) {
  .settings-cluster:hover .settings-gear {
    color: #A56AC7;
    background: #433843;
    border-color: #593d69;
  }

  .settings-cluster:hover .settings-gear svg {
    transform: rotate(75deg);
  }
}

.settings-rail {
  position: absolute;
  top: 50%;
  right: calc(100% + 0.4rem);
  display: flex;
  align-items: center;
  gap: 0.1rem;
  padding: 0.25rem;
  border-radius: 10px;
  background: #353135;
  border: 1px solid #4a4150;
  box-shadow: 0 6px 22px rgba(0, 0, 0, 0.38);
  white-space: nowrap;
  opacity: 0;
  visibility: hidden;
  pointer-events: none;
  transform: translateY(-50%) translateX(0.6rem);
  transition: opacity 170ms ease, transform 170ms ease, visibility 170ms;
}

.settings-rail::after {
  content: '';
  position: absolute;
  left: 100%;
  top: 0;
  width: 0.6rem;
  height: 100%;
}

.settings-cluster.is-open .settings-rail,
.settings-cluster.rail-locked .settings-rail {
  opacity: 1;
  visibility: visible;
  pointer-events: auto;
  transform: translateY(-50%) translateX(0);
}

@media (hover: hover) and (pointer: fine) {
  .settings-cluster:hover .settings-rail {
    opacity: 1;
    visibility: visible;
    pointer-events: auto;
    transform: translateY(-50%) translateX(0);
  }
}

.settings-icon-button {
  position: relative;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2rem;
  height: 2rem;
  border-radius: 7px;
  color: #AB9CBF;
  background: transparent;
  border: 1px solid transparent;
  transition: all 120ms ease;
  cursor: pointer;
}

@media (hover: hover) and (pointer: fine) {
  .settings-icon-button:hover {
    background: #433843;
    color: #A56AC7;
  }
}

.settings-icon-button:active {
  background: #433843;
  color: #A56AC7;
}

.settings-icon-button.is-active {
  background: #433843;
  color: #A56AC7;
  border-color: #593d69;
}

.settings-icon-button svg {
  width: 16px;
  height: 16px;
  stroke-width: 1.75;
}

@media (hover: hover) and (pointer: fine) {
  .settings-icon-button.is-danger:hover {
    background: rgba(199, 106, 106, 0.15);
    color: #e58c8c;
  }
}

.settings-icon-button.hidden {
  display: none;
}

.settings-rail-divider {
  flex: 0 0 auto;
  width: 1px;
  height: 1.3rem;
  background: #AB9CBF;
  opacity: 0.16;
  margin: 0 0.2rem;
}

#file-controls.flex {
  display: flex;
}

/* ---------------------------- Settings popovers ---------------------------- */

.settings-popover {
  position: absolute;
  top: calc(100% + 0.5rem);
  right: 0;
  display: flex;
  align-items: center;
  gap: 0.35rem;
  max-width: 24rem;
  padding: 0.3rem;
  border-radius: 9px;
  background: #353135;
  border: 1px solid #4a4150;
  box-shadow: 0 6px 22px rgba(0, 0, 0, 0.38);
  z-index: 10;
}

.settings-popover.hidden {
  display: none;
}

.settings-popover-input {
  height: 2rem;
  min-width: 11rem;
  padding: 0 0.6rem;
  border-radius: 6px;
  background: #2F2C2F;
  border: 1px solid #5a4765;
  color: #AB9CBF;
  font-size: 13px;
  outline: none;
  transition: border-color 120ms ease;
}

.settings-popover-input::-moz-placeholder {
  color: #786d83;
}

.settings-popover-input::placeholder {
  color: #786d83;
}

.settings-popover-input:focus {
  border-color: #593d69;
}

.settings-popover-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0.3rem;
  height: 2rem;
  min-width: 2rem;
  padding: 0 0.6rem;
  border-radius: 6px;
  border: 1px solid #5a4765;
  background: #353135;
  color: #AB9CBF;
  font-size: 13px;
  line-height: 1;
  white-space: nowrap;
  cursor: pointer;
  transition: all 120ms ease;
}

@media (hover: hover) and (pointer: fine) {
  .settings-popover-button:hover {
    border-color: #593d69;
    background: #433843;
    color: #A56AC7;
  }
}

.settings-popover-button--accent {
  border-color: #593d69;
  color: #A56AC7;
}

.settings-popover-button--icon {
  padding: 0;
}

.settings-popover-button svg {
  width: 14px;
  height: 14px;
  stroke-width: 1.75;
}

.share-link-text {
  max-width: 15rem;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  color: #786d83;
  font-family: monospace;
  font-size: 12px;
}

.settings-popover-check {
  display: inline-flex;
  align-items: center;
  color: #A56AC7;
}

.settings-popover-check svg {
  width: 15px;
  height: 15px;
  stroke-width: 2;
}

.settings-popover-text {
  color: #AB9CBF;
  font-size: 13px;
  font-weight: 500;
}

/* --------------------------- File selector popover ------------------------- */

.file-selector-popover {
  position: absolute;
  top: calc(100% + 0.5rem);
  right: 0;
  min-width: 13rem;
  max-width: 17rem;
  max-height: 22rem;
  overflow-y: auto;
  padding: 0.25rem;
  border-radius: 9px;
  background: #353135;
  border: 1px solid #4a4150;
  box-shadow: 0 6px 22px rgba(0, 0, 0, 0.38);
  font-family: katex-text;
  z-index: 10;
}

.file-selector-popover.hidden {
  display: none;
}

.file-option {
  border-radius: 6px;
  cursor: pointer;
  transition: background 120ms ease;
}

@media (hover: hover) and (pointer: fine) {
  .file-option:hover {
    background: #433843;
  }
}

.file-option-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.5rem;
  padding: 0.45rem 0.4rem 0.45rem 0.6rem;
}

.file-option-name {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  color: #AB9CBF;
  font-size: 13px;
  transition: color 120ms ease;
}

@media (hover: hover) and (pointer: fine) {
  .file-option:hover .file-option-name {
    color: #A56AC7;
  }
}

.file-option-delete {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  flex: 0 0 auto;
  width: 1.5rem;
  height: 1.5rem;
  border-radius: 5px;
  color: #786d83;
  line-height: 1;
  transition: all 120ms ease;
}

@media (hover: hover) and (pointer: fine) {
  .file-option-delete:hover {
    background: rgba(199, 106, 106, 0.15);
    color: #e58c8c;
  }
}

.file-option-delete .katex {
  font-size: 0.85em;
}

.file-delete-confirmation {
  margin: 0 0.35rem 0.4rem;
  padding: 0.6rem;
  border-radius: 7px;
  border: 1px solid rgba(199, 106, 106, 0.42);
  background: rgba(47, 44, 47, 0.92);
  cursor: default;
}

.file-delete-confirmation-title {
  margin: 0 0 0.25rem;
  color: #e58c8c;
  font-size: 13px;
  font-weight: 600;
}

.file-delete-confirmation-message {
  margin: 0;
  color: #AB9CBF;
  font-size: 12px;
  line-height: 1.35;
}

.file-delete-confirmation-name {
  display: block;
  max-width: 100%;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.file-delete-confirmation-error {
  margin: 0.45rem 0 0;
  color: #e58c8c;
  font-size: 12px;
  line-height: 1.35;
}

.file-delete-confirmation-error.hidden {
  display: none;
}

.file-delete-confirmation-actions {
  display: flex;
  justify-content: flex-end;
  gap: 0.4rem;
  margin-top: 0.6rem;
}

.file-delete-cancel-button,
.file-delete-confirm-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 4.3rem;
  height: 1.9rem;
  padding: 0 0.65rem;
  border-radius: 6px;
  border: 1px solid #5a4765;
  background: #353135;
  color: #AB9CBF;
  font-size: 12px;
  line-height: 1;
  cursor: pointer;
  transition: all 120ms ease;
}

.file-delete-confirm-button {
  border-color: rgba(199, 106, 106, 0.78);
  color: #e58c8c;
}

.file-option.is-deleting .file-delete-confirm-button,
.file-delete-cancel-button:disabled,
.file-delete-confirm-button:disabled {
  cursor: default;
  opacity: 0.62;
}

@media (hover: hover) and (pointer: fine) {
  .file-delete-cancel-button:hover {
    border-color: #593d69;
    background: #433843;
    color: #A56AC7;
  }

  .file-delete-confirm-button:hover {
    background: rgba(199, 106, 106, 0.15);
    border-color: #e58c8c;
  }
}

@media (max-width: 420px) {
  .file-selector-popover {
    right: 0.25rem;
    max-width: calc(100vw - 1rem);
  }

  .file-delete-confirmation-actions {
    justify-content: stretch;
  }

  .file-delete-cancel-button,
    .file-delete-confirm-button {
    flex: 1 1 0;
  }
}

/* --------------------------- Definition controls --------------------------- */

.slider-bound-invalid {
  border-color: #FFA69E !important;
}

.definition-value-slider {
  -webkit-appearance: none;
  -moz-appearance: none;
       appearance: none;
  --slider-color: #A56AC7;
  height: 20px;
  background: transparent;
  cursor: pointer;
}

.definition-value-slider::-webkit-slider-runnable-track {
  height: 4px;
  border-radius: 9999px;
  background: #5a4765;
}

.definition-value-slider::-webkit-slider-thumb {
  -webkit-appearance: none;
  appearance: none;
  width: 14px;
  height: 14px;
  margin-top: -5px;
  border: none;
  border-radius: 9999px;
  background: var(--slider-color);
}

.definition-value-slider::-moz-range-track {
  height: 4px;
  border-radius: 9999px;
  background: #5a4765;
}

.definition-value-slider::-moz-range-thumb {
  width: 14px;
  height: 14px;
  border: none;
  border-radius: 9999px;
  background: var(--slider-color);
}

.slider-minimum-input,
.slider-maximum-input,
.slider-step-input {
  cursor: text;
}

.is-mobile .definition-value-slider {
  height: 28px;
}

.is-mobile .definition-value-slider::-webkit-slider-thumb {
  width: 18px;
  height: 18px;
  margin-top: -7px;
}

.is-mobile .definition-value-slider::-moz-range-thumb {
  width: 18px;
  height: 18px;
}

/* -------------------------------- App tooltip ------------------------------ */

.app-tooltip {
  position: fixed;
  top: 0;
  left: 0;
  z-index: 400;
  max-width: min(28rem, calc(100vw - 1rem));
  padding: 0.3rem 0.55rem;
  border-radius: 7px;
  background: #353135;
  border: 1px solid #4a4150;
  box-shadow: 0 6px 22px rgba(0, 0, 0, 0.38);
  color: #AB9CBF;
  font-size: 12px;
  line-height: 1.3;
  white-space: normal;
  overflow-wrap: anywhere;
  pointer-events: none;
  opacity: 0;
  transform: translateY(2px);
  transition: opacity 120ms ease, transform 120ms ease;
}

.app-tooltip.is-visible {
  opacity: 1;
  transform: translateY(0);
}

#sidebar.mobile-collapsed .mobile-hide-when-collapsed {
  display: none;
}

#sidebar.mobile-collapsed #mobile-sidebar-header {
  background-color: transparent;
  border-top-color: transparent;
}

/*
 * Collapsed, the sheet's header is flush with the bottom of the window, which is the edge a phone
 * reserves for its navigation bar or gesture handle, so the mode toggle and the sheet's own handle
 * sit under it. The sheet itself cannot move: lifting it leaves a strip of moving graph beneath it.
 * The two controls ride up over the reserved edge instead, by the same amount so they keep the
 * shared baseline they are laid out on, and only while collapsed — expanded, the header is half a
 * window clear of that edge.
 *
 * The lift follows the reserved edge rather than being a fixed nudge, because the edge is a touch
 * target as much as it is ink and its depth is the device's to choose: nothing where none is
 * reserved, a gesture handle's width on most phones, more again on a three-button navigation bar.
 * Clearing the edge outright left the toggle further above it than the header's own centring puts
 * it above the window, which read as a hole, so the lift gives 0.5rem of that clearance back: the
 * toggle's 15 px of air above the reserved edge becomes 7 px. The relief is floored at nothing so a
 * window with no reserved edge keeps the layout it had. It rides on
 * `translate` rather than `transform`, which the toggle's own centring and scale already occupy;
 * the two compose.
 */

#sidebar.mobile-collapsed #mode-container,
#sidebar.mobile-collapsed #open_sidebar {
  translate: 0 calc(-1 * var(--symi-bottom-control-offset));
}

.is-mobile #mode-container {
  transition: translate 300ms ease-in-out;
}

.is-mobile #input-mq {
  max-width: none;
}

.is-mobile .mobile-hidden {
  display: none;
}

/*
 * On a wide window each expression's delete button is taken out of flow and placed a sidebar's
 * width to the right of the row it belongs to, which lands it over that row's right edge. A phone's
 * sidebar is not that wide, so the button is anchored to its own row instead: the row is the
 * containing block, and the button sits against the row's right edge, centred on the row's height.
 * The row must stay positioned for that -- against any other containing block every row's button
 * would land on the same spot, leaving one reachable button for the whole list.
 */

.is-mobile .sidebar-expression-row {
  position: relative;
}

.is-mobile .expr-dropdown {
  position: absolute;
  right: 0.75rem;
  top: 50%;
  margin-left: 0;
  transform: translateY(-50%);
}

.is-mobile #add-workspace-field-buttons {
  overflow-x: auto;
  overflow-y: hidden;
  height: calc(var(--workspace-toolbar-height) + var(--symi-status-indicator-bottom) + var(--symi-top-control-clearance));
  padding-top: calc(var(--symi-status-indicator-bottom) + var(--symi-top-control-clearance));
}

.is-mobile #add-workspace-field-buttons > * {
  flex-shrink: 0;
}

.is-mobile #workspace-element {
  margin: 0;
  padding-top: calc(var(--workspace-toolbar-height) + var(--workspace-toolbar-clearance) + var(--symi-status-indicator-bottom) + var(--symi-top-control-clearance));
  padding-left: 0.5rem;
  padding-right: 0.5rem;
  border-width: 0;
  border-radius: 0;
  min-height: 100%;
}

.is-mobile #workspace-fields-page {
  padding-bottom: var(--workspace-keyboard-inset, 0px);
  -webkit-text-size-adjust: 100%;
}

.is-mobile .ws-math {
  padding: 0.35rem 0.15rem;
  margin: -0.35rem 0;
  max-width: 100%;
  touch-action: manipulation;
}

.is-mobile .ws-math[data-empty="true"] .ws-math-mount {
  min-width: 1.4rem;
}

.is-mobile #settings-cluster {
  z-index: 40;
}

@keyframes symi_operation_spinner_rotation {
  to {
    transform: rotate(360deg);
  }
}

.symi-operation-spinner {
  display: inline-block;
  box-sizing: border-box;
  border-radius: 9999px;
  border-style: solid;
  border-width: 2px;
  border-color: #AB9CBF;
  border-top-color: #A56AC7;
  animation: symi_operation_spinner_rotation 0.7s linear infinite;
}

.expression-list-item-dragging {
  position: relative;
  z-index: 500;
  opacity: 0.97;
  box-shadow: 0 0.5rem 1.25rem rgba(0, 0, 0, 0.45);
}

.expression-reorder-in-progress,
.expression-reorder-in-progress * {
  cursor: grabbing !important;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
}

.first\:mt-0:first-child {
  margin-top: 0px;
}

@media (hover: hover) and (pointer: fine) {
  .hover\:border-symi-midlight:hover {
    --tw-border-opacity: 1;
    border-color: rgb(89 61 105 / var(--tw-border-opacity, 1));
  }

  .hover\:bg-symi-bg-expr:hover {
    --tw-bg-opacity: 1;
    background-color: rgb(67 60 67 / var(--tw-bg-opacity, 1));
  }

  .hover\:bg-symi-bg-expr-secondary:hover {
    --tw-bg-opacity: 1;
    background-color: rgb(67 56 67 / var(--tw-bg-opacity, 1));
  }

  .hover\:text-symi-highlight:hover {
    --tw-text-opacity: 1;
    color: rgb(165 106 199 / var(--tw-text-opacity, 1));
  }
}

.focus\:border-symi-midlight:focus {
  --tw-border-opacity: 1;
  border-color: rgb(89 61 105 / var(--tw-border-opacity, 1));
}

.focus\:outline-none:focus {
  outline: 2px solid transparent;
  outline-offset: 2px;
}

.active\:border-symi-midlight:active {
  --tw-border-opacity: 1;
  border-color: rgb(89 61 105 / var(--tw-border-opacity, 1));
}

.active\:bg-symi-bg-expr-secondary:active {
  --tw-bg-opacity: 1;
  background-color: rgb(67 56 67 / var(--tw-bg-opacity, 1));
}

.active\:text-symi-highlight:active {
  --tw-text-opacity: 1;
  color: rgb(165 106 199 / var(--tw-text-opacity, 1));
}