.admonitionblock i {
	font-family: inherit;
}

.admonitionblock i.fa {
	background: no-repeat 50%/1em 1em;
	display: inline-block;
	filter: var(--doc-icon-filter);
	font-style: normal;
	height: 1em;
	-webkit-hyphens: none;
	hyphens: none;
	vertical-align: -.125em;
	width: 1em
}

.admonitionblock p,
.admonitionblock td.content {
	font-size: 1rem;
}

}
dt code {
    font-family:var(--code-font-family);
    font-size:1em;
    padding-top:4px;
}
.summary-table dt code {
    font-family:var(--code-font-family);
    font-size:1em;
    vertical-align:top;
    padding-top:4px;
}
sup {
    font-size:8px;
}
button {
    font-family: var(--body-font-family);
    font-size: 1em;
}
/*
 * Styles for HTML generated by javadoc.
 *

7em 0}figcaption,figure,main{display:block}figure{margin:1em 40px}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace,monospace;font-size:1em}a{background-color:transparent;-webkit-text-decoration-skip:objects}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:inherit}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em}dfn{font-style:italic}mark{background-color:#ff0;color:#0...

    /* Set up defaults and ensure empty lines are displayed. */
    content: '';
    display: inline-block;
    vertical-align: middle;
}

[data-ty="input"]:before,
[data-ty-prompt]:before {
    margin-right: 0.75em;
    color: var(--color-text-subtle);
}

[data-ty="input"]:before {
    content: '$';
}

[data-ty][data-ty-prompt]:before {
    content: attr(data-ty-prompt);
}

[data-ty-cursor]:after {

body {
  font-family: sans-serif;
}
table#req-status td.family {
  padding-right: 2em;
}
table#req-status td.active {
  padding-right: 1em;
}
table#req-status td.empty {
  color: #aaa;
}
table#reqs {
  margin-top: 1em;
  border-collapse: collapse;
}
table#reqs tr.first {
  font-weight: bold;
}
table#reqs td {
  font-family: monospace;
}
table#reqs td.when {

                "e3dcb4c2-a867-40f7-a3b1-fb1058a041e5",
                "ae240754-2ea2-409a-a92c-648fc7a7b70b",
                "8c187383-d59b-4e49-8dfd-98aa5f01925a",
                "9b100ee6-71ed-4746-92c2-b5fb02af7ebd",
                "f95e94f7-2443-4b2f-a10d-059d8d224dd9",
                "b558af80-78bc-43c7-b916-d635a23cc4b5");
    }

0:"0px",.5:"0.125rem",1:"0.25rem",1.5:"0.375rem",2:"0.5rem",2.5:"0.625rem",3:"0.75rem",3.5:"0.875rem",4:"1rem",5:"1.25rem",6:"1.5rem",7:"1.75rem",8:"2rem",9:"2.25rem",10:"2.5rem",11:"2.75rem",12:"3rem",14:"3.5rem",16:"4rem",20:"5rem",24:"6rem",28:"7rem",32:"8rem",36:"9rem",40:"10rem",44:"11rem",48:"12rem",52:"13rem",56:"14rem",60:"15rem",64:"16rem",72:"18rem",80:"20rem",96:"24rem"},stroke:({theme:i})=>({none:"none",...i("colors")}),strokeWidth:{0:"0",1:"1",2:"2"},supports:{},data:{},textColor:({...