:root{--color-blue:oklch(45% .2 264);--color-red:oklch(50% .22 31);--color-gray-50:oklch(98% .001 264);--color-gray-100:oklch(12% .038 264/.05);--color-gray-200:oklch(12% .036 264/.07);--color-gray-300:oklch(12% .034 264/.17);--color-gray-400:oklch(12% .032 264/.38);--color-gray-500:oklch(12% .03 264/.5);--color-gray-600:oklch(12% .028 264/.67);--color-gray-700:oklch(12% .024 264/.77);--color-gray-800:oklch(12% .02 264/.85);--color-gray-900:oklch(12% .02 264/.9);--color-gray-950:oklch(12% .02 264/.95);--color-bg-primary:#071731;--color-bg-secondary:#f7fafb;--color-bg-app:#edf2f3;--color-bg-white:#fff;--color-accent:#4594ff;--color-font-primary:#11396f;--color-font-primary-blured-40:#11396fb3;--color-font-primary-blured-60:#11396fbf;--color-font-secondary:#f7fafb;--color-font-white:#fff;--font-family-sans:"Instrument Sans", sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue";--app-bar-height:3rem;--document-toolbar-height:3rem;--document-width:60rem;--document-inset:3rem;--tooltip-bg:var(--color-bg-primary);--tooltip-fg:var(--color-font-white);--tooltip-radius:.375rem;--tooltip-padding:.3125rem .5rem;--tooltip-font-size:.75rem;--tooltip-open-delay:.45s;--color-focus-ring:#4594ff;--focus-ring-width:2px;--focus-ring-offset:2px;--stmt-req:#d92626;--stmt-req-bg:#fcededcc;--stmt-req-text:#a51d1d;--stmt-rec:#f29e0d;--stmt-rec-bg:#fef6d7b3;--stmt-rec-text:#915f08;--stmt-perm:#2e9e53;--stmt-perm-bg:#e7f9edb3;--stmt-perm-text:#206f3a;--stmt-poss:#2080df;--stmt-poss-bg:#e8f2fcb3;--stmt-poss-text:#14528f;--note-accent:var(--color-accent);--note-bg:#4594ff0f;--note-text:var(--color-accent);--example-accent:#1d73c9;--example-bg:#edf5fde6;--example-text:#134d86;--quote-accent:#11396f40;--quote-bg:transparent;--boxed-accent:var(--color-font-primary-blured-60);--boxed-bg:#11396f08;--boxed-border:#11396f29}body{background-color:var(--color-bg-app);color:var(--color-font-primary);font-family:var(--font-family-sans);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;position:relative}.root{isolation:isolate}a{color:inherit;text-decoration:none}:focus-visible{outline:var(--focus-ring-width) solid var(--color-focus-ring);outline-offset:var(--focus-ring-offset)}