[x-cloak] { display: none !important; }

div.odoc {
  max-width: 67rem;
  position: relative;
}

div.odoc div.spec,
div.odoc-include .spec {
  border-left-width: 4px;
  border-color: rgba(251, 146, 60, 1);
  border-radius: 0.25rem /* 4px */;
  background-color: rgba(243, 244, 246, 1);
  padding-left: 1.7rem /* needs to provide enough space for the hashtag anchor */;
  padding-right: 1rem /* 16px */;
  padding-top: 0.5rem /* 16px */;
  padding-bottom: 0.5rem /* 16px */;
  margin-top: 1rem /* 16px */;
}

.dark div.odoc div.spec,
.dark div.odoc-include .spec {
  border-color: rgb(194, 79, 30);
  background-color: black;
}

div.odoc div.spec code {
  white-space: pre-wrap;
}

div.odoc .spec-doc p {
  margin-top: 0.5rem;
}

/* clickable anchors and highlighting of targeted .spec elements */

div.odoc .spec {
  position: relative;
}

div.odoc .spec a.anchor {
  position: absolute;
  left: 0;
  top:0.3em;
  opacity: 0;
  text-decoration: none;
  color: rgb(156 163 175);
  box-shadow: none;
}

div.odoc .spec a.anchor::after {
  content: "#";
  font-size:120%;
  margin-left: -4px;
  padding: 0.6em;
}

div.odoc *:hover > a.anchor {
  opacity: 1;
}

div.odoc *:hover > a.anchor:hover {
  color: rgb(75 85 99);
}

/* selected anchor target highlighting */

div.odoc .spec:target {
  background: rgb(255, 248, 206);
}

.dark div.odoc .spec:target {
  background: rgb(17, 24, 39);
}

div.odoc .anchored:target,
div.odoc h1:target,
div.odoc h2:target,
div.odoc h3:target,
div.odoc h4:target,
div.odoc h5:target,
div.odoc h6:target {
  background: rgb(255, 243, 173);
}

.dark div.odoc .anchored:target,
.dark div.odoc h1:target,
.dark div.odoc h2:target,
.dark div.odoc h3:target,
.dark div.odoc h4:target,
.dark div.odoc h5:target,
.dark div.odoc h6:target {
  background: rgb(17, 24, 39);
}

div.odoc .spec:target a,
div.odoc .anchored:target a {
  color: rgb(204, 48, 0);
}

.dark div.odoc .spec:target a,
.dark div.odoc .anchored:target a {
  color: white;
}

div.odoc *[id] {
  scroll-margin-top: 2rem;
}

/* ----- */

div.odoc div.spec table {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 1em;
  line-height: 1.75;
}

div.odoc div.spec tbody td {
  padding-top: 0px;
  padding-bottom: 0px;
}

div.odoc div.spec tbody td.def {
  padding-left: 1.25rem /* 20px */;
}

div.odoc div.spec tbody tr {
  border-width: 0px;
}

div.odoc td.def-doc .comment-delim {
  height: 0;
  display: block;
  opacity: 0;
}

div.odoc .def-doc p {
  margin-top: 0.75em;
  margin-bottom: 0.75em;
}

div.odoc div.spec tbody td.def {
  padding-top: 0.75em;
  overflow-wrap: anywhere;
  min-width: 40%;
}

div.odoc-include details {
  position: relative;
}

div.odoc-include details:after {
  display: block;
  content: " ";
  position: absolute;
  border-radius: 0 1ex 1ex 0;
  right: -20px;
  top: 1px;
  bottom: 1px;
  width: 15px;
  background: rgba(0, 4, 15, 0.05);
  box-shadow: 0 0px 0 1px rgba(204, 204, 204, 0.53);
}

div.odoc-include summary:hover {
  background-color: rgba(228, 231, 235, 1);
}

div.odoc span[class*="keyword"] {
  color: rgba(17, 24, 39, 1);
  font-weight:normal;
}

.dark div.odoc span[class*="keyword"] {
  color: rgb(207, 211, 219);
}

div.odoc ul.at-tags {
  margin: 0.5em 0;
}

div.odoc ul.at-tags p {
  margin: 0;
}

div.odoc span.at-tag {
  font-weight: bold;
}

div.odoc a:not(.source_container a):not(.source_link) {
  font-weight: bold;
  color: #cc4e0c;
}

.dark div.odoc a:not(.source_container a):not(.source_link) {
  text-decoration: underline;
  color:white;
}

div.odoc code span > span {
  font-weight: normal;
}

div.odoc .arrow {
  font-weight: normal;
}

/* Comment delimiters, hidden but accessible to screen readers and 
selected for copy/pasting */

div.odoc .comment-delim {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}


/* package explorer navmap and breadcrumb tag */

.navmap ul {
  border-color: gainsboro;
}

.dark .navmap ul {
  border-color: #555;
}

.no-expand, .icon-expand  {
  white-space:nowrap;
  display:flex;
  flex-wrap: nowrap;
}

.icon-expand {
  cursor: pointer;
}

.navmap-tag {
  display:flex;
  align-items: center;
  justify-content: center;
  text-align: center;
  width:2.1em;
  min-width:2.1em;
  margin:3px 0;
  padding:2px 1px;
  line-height:1;
  margin-right:6px;
  font-family: Inter, sans-serif;
  border-width: 2px;
  border-radius: 0.25em;
  font-weight:bold;
  font-size: .875rem;
  box-sizing: border-box;
}

.navmap-tag.library-tag::after {
  content: "lib";
}

.library-tag {
  color: rgb(91, 102, 114);
  background-color: rgb(91, 102, 114);
  border-color: rgb(91, 102, 114);
}

.navmap-tag.module-tag::after {
  content: "M";
}

.module-tag {
  color: #cc4e0c;
  background-color: #cc4e0c;
  border-color: #cc4e0c;
}

.navmap-tag.module-type-tag::after {
  content: "Mt";
}
.module-type-tag{
  color: #027491;
  background-color: #027491;
  border-color: #027491;
}

.navmap-tag.parameter-tag::after {
  content: "P";
}
.parameter-tag{
  color: green;
  background-color: green;
  border-color: green;
}
.navmap-tag.class-tag::after {
  content: "C";
}
.class-tag{
  color: rgb(163, 34, 34);
  background-color: rgb(163, 34, 34);
  border-color: rgb(163, 34, 34);
}

.navmap-tag.class-type-tag::after {
  content: "Ct";
}
.class-type-tag{
  color: rgb(32, 68, 165);
  background-color: rgb(32, 68, 165);
  border-color: rgb(32, 68, 165);
}

.navmap-tag.page-tag::after {
  content: "P";
}
.page-tag{
  color: rgb(32, 68, 165);
  background-color: rgb(32, 68, 165);
  border-color: rgb(32, 68, 165);
}

.navmap-tag.source-tag::after {
  content: "S";
}
.source-tag{
  color: rgb(97, 8, 138);
  background-color: rgb(97, 8, 138);
  border-color: rgb(97, 8, 138);
}

span.icon-expand > .navmap-tag,
span.no-expand > .navmap-tag {
  color: white;
}

div.nav-expand::before {
  content: "";
  display: flex;
  align-items: center;
  background-color: #cc4e0c;
  height: 22px;
  width: 2px;
  position: absolute;
  margin: 3px 0 3px;
  margin-left: -0.65rem;
  border-radius: 30px;
}

.xref-unresolved {
  text-decoration: underline;
  font-weight: 700;
  color: gray;
}

span.arrow-expand.open {
  color: #cc4e0c;
  transform: rotate(180deg);
}

span.sign-expand::before {
  content: "\002B";
  display: flex;
  justify-content: center;
  align-items: center;
  font-size: 1.25rem;
  width: 1.25rem;
  margin-top: -0.25rem;
}

span.sign-expand.open::before {
  content: " \2212";
  color: #cc4e0c;
}

/* Lists of modules */

.modules { list-style-type: none; padding-left:0; }

/* Taken from odoc's css sheet */

.source_container {

  /* light gruvbox theme colors */
  --bg_h: #f9f5d7;
  --bg:   #f6f8fa; /*#fbf1c7;*/
  --bg_s: #f2e5bc;
  --bg1:  #ebdbb2;
  --bg2:  #d5c4a1;
  --bg3:  #bdae93;
  --bg4:  #a89984;
  --bg_highlighted: #fff3a0;

  --fg:  #282828;
  --fg1: #3c3836;
  --fg2: #504945;
  --fg3: #665c54;
  --fg4: #7c6f64;

  --red:    #9d0006;
  --green:  #79740e;
  --yellow: #b57614;
  --blue:   #076678;
  --purple: #8f3f71;
  --aqua:   #427b58;
  --orange: #af3a03;
  --gray:   #928374;

  --red-dim:    #cc2412;
  --green-dim:  #98971a;
  --yellow-dim: #d79921;
  --blue-dim:   #458598;
  --purple-dim: #b16286;
  --aqua-dim:   #689d6a;
  --orange-dim: #d65d0e;
  --gray-dim:   #7c6f64;

  /* odoc colors */
  --odoc-blue: #5c9cf5;
  --odoc-bg: #FFFFFF;
  --odoc-bg1: #f6f8fa;
  --odoc-fg: #333333;
  --odoc-fg1: #1F2D3D;

}

body.dark .source_container {
  /* dark gruvbox theme colors */
  --bg_h: #1d2021;
  --bg:   #282828;
  --bg_s: #32302f;
  --bg1:  #3c3836;
  --bg2:  #504945;
  --bg3:  #665c54;
  --bg4:  #7c6f64;
  --bg_highlighted: #3c3836;

  --fg:  #fbf1c7;
  --fg1: #ebdbb2;
  --fg2: #d5c4a1;
  --fg3: #bdae93;
  --fg4: #a89984;

  --red:    #fb4934;
  --green:  #b8bb26;
  --yellow: #fabd2f;
  --blue:   #83a598;
  --purple: #d3869b;
  --aqua:   #8ec07c;
  --gray:   #928374;
  --orange: #fe8019;

  --red-dim:    #cc2412;
  --green-dim:  #98971a;
  --yellow-dim: #d79921;
  --blue-dim:   #458588;
  --purple-dim: #b16286;
  --aqua-dim:   #689d6a;
  --gray-dim:   #a89984;
  --orange-dim: #d65d0e;

  /* odoc colors */
  --odoc-blue: #5c9cf5;
  --odoc-bg: #202020;
  --odoc-bg1: #252525;
  --odoc-fg: #bebebe;
  --odoc-fg1: #777;
}

.source_container .source_line_column a {
  text-decoration: none;
  color:var(--fg4);
}


.source_container {
  --code-color: var(--fg);
  --code-background: var(--bg);
  --code-highligthed-background: var(--bg_highlighted);

  --source-link-color: var(--fg4);
  --source-line-column: var(--fg3);
  --source-line-column-bg: var(--bg_h);

  --source-code-comment: var(--gray);
  --source-code-docstring: var(--green-dim);
  --source-code-lident: var(--fg1);
  --source-code-uident: var(--blue);
  --source-code-literal: var(--yellow);
  --source-code-keyword: var(--red);
  --source-code-underscore: var(--fg3);
  --source-code-operator: var(--purple);
  --source-code-parens: var(--orange-dim);
  --source-code-separator: var(--orange-dim);
}

.source_container .source_code a:not(:hover) {
  text-decoration: inherit;
}

/* Source links float inside preformated text or headings. */
.odoc a.source_link {
  float: right;
  color: gray;
  font-size: initial;
  text-decoration: none;
}

.odoc a.source_link:hover {
  color: unset;
}

.source_container {
  display: flex;
  padding: 0;
}

.source_line_column {
  padding-right: 0.5em;
  text-align: right;
  color: var(--source-line-column);
  background: var(--source-line-column-bg);
}

.source_line {
  padding: 0 1em;
}

.source_code {
  flex-grow: 1;
  background: var(--code-background);
  padding: 0 0.3em;
  color: var(--code-color);
}


/* Linked highlight */
.source_code *:target {
  box-decoration-break: clone;
  -webkit-box-decoration-break: clone; /* for Safari/Chrome */
  background-color: var(--code-highligthed-background);
  padding: 3px 0 3px;
  /* Extend the background without expanding the element's size. Without expansion
   of background, lines background don't touch each other and make things look
   weird on multilines targets */
}

/* Keywords */
.source_code :is(.AND, .ANDOP, .AS, .ASSERT,
.BAR, .BEGIN,
.CLASS, .CONSTRAINT,
.DO, .DONE, .DOWNTO,
.ELSE, .END, .EXCEPTION, .EXTERNAL,
.FOR, .FUN, .FUNCTION, .FUNCTOR,
.IF, .IN, .INCLUDE, .INHERIT, .INITIALIZER,
.LAZY, .LESSMINUS, .LET, .LETOP,
.MATCH, .METHOD, .MINUSGREATER, .MODULE, .MUTABLE,
.NEW, .NONREC,
.OBJECT, .OF, .OPEN,
.PERCENT, .PRIVATE,
.REC,
.SEMISEMI, .SIG, .STRUCT,
.THEN, .TO, .TRY, .TYPE,
.VAL, .VIRTUAL,
.WHEN, .WITH, .WHILE)
{
  color: var(--source-code-keyword);;
}

/* Separators */
.source_code :is(.COMMA, .COLON, .COLONGREATER, .SEMI) {
  color: var(--source-code-separator);
}

/* Parens
   `begin` and `end ` are excluded because `end` is used in other, more
   keyword-y contexts*/
.source_code :is(.BARRBRACKET,
.LBRACE,
.LBRACELESS,
.LBRACKET,
.LBRACKETAT,
.LBRACKETATAT,
.LBRACKETATATAT,
.LBRACKETBAR,
.LBRACKETGREATER,
.LBRACKETLESS,
.LBRACKETPERCENT,
.LBRACKETPERCENTPERCENT,
.LPAREN,
.RBRACE,
.RBRACKET,
.RPAREN)
{
  color: var(--source-code-parens);
}

/* Prefix operators */
.source_code :is(.ASSERT, .BANG, .PREFIXOP,
/* Infix operators.
   A choice had to be made for equal `=` which is both a keyword and an operator.
   It looked better having it as an operator, because when it is a keyword,
   there are already loads of keyword around.
   It would look even nicer if there was a way to distinguish between these
   two cases.*/
.INFIXOP0, .INFIXOP1, .INFIXOP2, .INFIXOP3, .INFIXOP4,
.BARBAR, .PLUS, .STAR, .AMPERAMPER, .AMPERAND, .COLONEQUAL, .GREATER, .LESS,
.MINUS, .MINUSDOT, .MINUSGREATER, .OR, .PLUSDOT, .PLUSEQ, .EQUAL)
{
  color: var(--source-code-operator);
}

/* Upper case ident
   `true` and `false` are considered uident here, because you can bind them in a
   constructor defintion :
   ```ocaml
   type my_bool =
     | true of string
     | false
     | Other of int
   ```
*/
.source_code :is(.UIDENT, .COLONCOLON, .TRUE, .FALSE) {
  color: var(--source-code-uident);

}

/* Lower case idents.
   Quotes are here because of `type 'a t = 'a list`,
   and question mark and tildes because of
   ```ocaml
   let f ~a ?b () = Option.map a b
   ```
*/
.source_code :is(.LIDENT, .QUESTION, .QUOTE, .TILDE) {
  color: var(--source-code-lident);
}

/* Litterals */
.source_code :is( .STRING, .CHAR, .INT, .FLOAT, .QUOTED_STRING_EXPR, .QUOTED_STRING_ITEM) {
  color: var(--source-code-literal);
}

.source_code :is(.UNDERSCORE) {
  color: var(--source-code-underscore);
}

.source_code :is(.DOCSTRING) {
  color: var(--source-code-docstring);
}

.source_code :is(.COMMENT) {
  color: var(--source-code-comment);
}