:target { background-color: #ffe080 !important; color: black !important; border-bottom: 1px solid #cca940 !important; border-top: 1px solid #cca940 !important; } body { font-family: sans-serif; color: black; padding: 0px; margin: 0; } div.topbar { box-sizing: border-box; background-color: #465158; position: fixed; display: flex; align-items: center; left: 0px; top: 0px; width: 100%; height: 40px; padding: 0 1em 0 0.4em; z-index: 10; font-size: 90%; color: white; box-shadow: 0 0px 15px 5px rgba(0, 0, 0, 0.4); } div.topbar div.group { display: flex; flex: 1; } div.topbar div.group.one { justify-content: flex-start; } div.topbar div.group.two { justify-content: center; } div.topbar div.group.three { justify-content: flex-end; } div.topbar a { color: white; border: none; padding: 0.5em 1em; } div.topbar div.description a { font-size: 100% !important; font-weight: normal !important; margin-left: 0 !important; } div.topbar div.button a { margin: 0.375em 0; font-size: 80%; font-weight: bold; white-space: nowrap; display: flex; align-items: center; } div.topbar div.button.solid a { margin-left: 1em; } div.topbar div.button.solid a, div.topbar div.button a:hover { background-color: #697983; text-shadow: 0 1px rgba(0, 0, 0, 0.5); border-radius: 3px; border: none; } div.topbar div.button.solid a:hover { background-color: #8aa0ad; } div.topbar div.button a img { width: 1.5em; } div.topbar div.button a img[src*='.svg'] { filter: invert(1); } div.topbar div.button.iconleft a { padding-left: 0.6em; padding-right: 1em; } div.topbar div.button.iconright a { padding-left: 1em; padding-right: 0.6em; } div.topbar div.button.iconleft a img { padding-right: 0.5em; } div.topbar div.button.iconright a img { padding-left: 0.5em; } div.sidebar { clear: both; box-sizing: border-box; background-color: #e8ecef; width: 15em; height: calc(100% - 40px); padding: 1em 0.5em; border-right: 1px solid #ccc; position: fixed; overflow-y: auto; } div.body { margin-left: 15em; margin-top: 2.5em; } div.sidebar div.heading { font-weight: bold; } div.sidebar ul { list-style-type: none; padding-left: 1em; margin-top: 0.5em; } div.sidebar li { padding: 2px 0; } div.sidebar li.selected { font-weight: bold; } div.sidebar div.sections li { padding-left: 1em; text-indent: -1em; } div.sidebar p, h2 p { margin: 0; padding: 0; display: inline; } a { color: #444; text-decoration: none; border-bottom: 1px solid #ccc; } a:hover { color: #000; border-bottom: 1px solid #666; } div.section, div.body div.manual { padding: 0em 1em 1em 1em; } div.body pre { margin: 0 2em; } div.manual h1 { margin: 0 -16px 0 -20px; padding: 10px 10px 10px 20px; font-size: 120%; } div.section h2 { margin: 0 -16px 0 -20px; padding: 10px 10px 10px 20px; background-color: #eeeeee; border-top: 1px solid #ccc; border-bottom: 1px solid #ccc; font-size: 120%; } div.manual h2, div.manual h3 { margin: 1em -16px 0 -20px; padding: 10px 10px 10px 20px; } div.manual h2 { background-color: #eeeeee; border-top: 1px solid #ccc; border-bottom: 1px solid #ccc; font-size: 120%; padding: 10px 10px 10px 20px; } div.manual h3 { font-size: 110%; padding: 5px 5px 5px 20px; /* Ensures when :target applies (which adds borders) we don't affect layout */ border-top: 1px solid transparent; border-bottom: 1px solid transparent; } div.hierarchy { margin-top: 2em; margin-bottom: 2em; } div.hierarchy div.heading { font-weight: bold; margin-bottom: 0.5em; } div.hierarchy ul { margin-top: 0.5em; padding-left: 1em; } div.hierarchy li { list-style-type: none; margin: 0.4em 0; } div.hierarchy li span { padding: 0.2em; font-family: "Consolas", "Deja Vu Sans Mono", "Bitstream Vera Sans Mono", monospace; font-size: 0.95em; letter-spacing: 0.01em; } div.hierarchy li span em { font-style: normal; } div.hierarchy li.self span { background-color: #fbedc3; } h1, div.section h2.class, div.section h2.module { color: white; background-color: #555; border-top: 1px solid #222; border-bottom: 1px solid #222; font-size: 140%; } code { font-family: 'Courier New', monospace; font-size: 0.95em; } var, a code { letter-spacing: 0.01em; font-weight: bold; font-style: normal; color: #444; } div.see::before { content: "👉 "; } h3.fields, h3.functions { padding-top: 1em; padding-bottom: 0.5em !important; } dl p:first-child { margin-top: 0.5em; } dl dd:not(:last-child), dl dd:not(:last-child) { padding-bottom: 1.5em; /*border-bottom: 1px solid #ddd;*/ } dt { padding: 0.5em; margin-left: -1em; margin-right: -1em; /* Ensures when :target applies (which adds borders) we don't affect layout */ border-top: 1px solid transparent; border-bottom: 1px solid transparent; } dt var { font-size: 1.15em; } dd { margin-left: 2.5em; } dl.functions div.heading { margin-top: 1em; margin-left: 0em; margin-bottom: 0.5em; font-style: italic; } table.parameters, table.returns { max-width: 90%; border-top: 1px solid #ccc; border-bottom: 1px solid #ccc; border-left: transparent; border-right: transparent; margin-left: 1em; border-collapse: collapse; } table.parameters td, table.returns td { padding: 0.4em 0; vertical-align: top; } table.parameters tr:not(:last-child) td, table.returns tr:not(:last-child) td { border-bottom: 1px solid #ccc; } table.parameters tr, table.returns tr { background: #f7f7f7; } table.parameters tr td:first-child, table.returns tr td:first-child { text-align: right; padding-left: 1em; } table.parameters tr td:last-child, table.returns tr td:last-child { padding-right: 1em; } table.parameters td.name, table.parameters td.types, table.returns td.name, table.returns td.types { white-space: nowrap; padding-right: 1em !important; } * { scroll-padding-top: 40px; } div.section div.inner { min-width: 20em; max-width: 80em; } div.synopsis h3 { display: none; } div.synopsis div.heading { font-weight: bold; margin-top: 1em; margin-bottom: 0em; margin-left: 0.5em; } div.synopsis table { border-top: 1px solid #d2b089; border-bottom: 1px solid #d2b089; background-color: #f8f0e6; width: 95%; margin: 1em auto; border-collapse: collapse; } div.synopsis td { padding: 0.3em 0.5em 0.3em 0.5em; vertical-align: top; } div.synopsis tr:not(:last-child) td { border-bottom: 1px solid #e2d0ba; } div.synopsis td:first-child { /* min-width: 15em; max-width: 20em; */ white-space: nowrap; padding-right: 1em; } div.synopsis td.meta, div.synopsis td.meta a { white-space: nowrap; color: #777777; } div.synopsis td > p, table.parameters td > p, table.returns td > p { margin: 0; } div.synopsis td > p:not(:first-child) { margin-top: 0.5em; } div.synopsis td a.permalink { color: #aaa; } div.admonition { border: 1px solid #609060; background-color: #e9ffe9; width: 90%; margin: 1.5em auto; } div.admonition div.title { margin: 0; margin-top: 0px; padding: 0.3em 0 0.3em 0.5em; color: white; font-weight: bold; font-size: 1.0em; text-shadow: 0 1px rgba(0, 0, 0, 0.5); } div.admonition div.body { margin: 0.5em 1em 0.5em 1em; padding: 0; } div.warning { border: 1px solid #900000; background-color: #ffe9e9; } div.warning div.title { background-color: #b04040; border-bottom: 1px solid #900000; } div.note div.title { background-color: #70A070; border-bottom: 1px solid #609060; } dl.fields dt span.icon::after { content: "🏷️ "; vertical-align: middle; font-size: 110%; } dl.fields dt span.tag, dl.functions dt span.tag { border-radius: 20px; border: 1px solid #ccc; background-color: #eee; display: inline; opacity: 0.6; padding: 5px 10px; font-size: 80%; margin: 0 0.5em; } dl.fields dt span.tag:first-of-type, dl.functions dt span.tag:first-of-type { margin-left: 2em; } dl.fields dt span.meta::before, dl.functions dt span.meta::before { filter: saturate(0); opacity: 0.9; content: "👁️"; padding-right: 0.5em; } dl.fields dt span.type::before { filter: saturate(0); opacity: 0.9; content: "✏️"; padding-right: 0.5em; } dl.functions dt span.icon::after { content: "🏃‍♂️ "; vertical-align: middle; font-size: 140%; } a.permalink:hover { color: #c60f0f !important; border: none; } a.permalink { color: #ccc; font-size: 1em; margin-left: 6px; padding: 0 4px 0 4px; text-decoration: none; border: none; visibility: hidden; } h1:hover > a.permalink, h2:hover > a.permalink, h3:hover > a.permalink, h4:hover > a.permalink, td:hover > a.permalink, td:hover > div > a.permalink, dt:hover > a.permalink { visibility: visible; } pre.language-lua { border-radius: 6px; } dd table { } input.search { width: calc(100% - 2.5em); opacity: 0.7; margin: 0 1em 1em 1em; } input.search:focus { opacity: 1.0; } div#template { display: none; } div#results { padding: 1em; max-width: 650px; } div.result { margin-bottom: 35px; font-family: arial, sans-serif; } div.result div.title { font-size: 20px; line-height: 1.3; } div.result div.text { line-height: 1.58; margin-left: 2em; } div.summary { color: #666666; font-size: 90%; margin-bottom: 1em; } div.result span { font-size: 90%; } div.result.result-class span::after { content: "🧱 "; } div.result.result-module span::after { content: "📦 "; } div.result.result-field span::after { content: "🏷️ "; } div.result.result-function span::after { content: "🏃‍♂️ "; } div.result.result-section span::after { content: "📓 "; } div.result b { background-color: #faffb8; } table.user { border-collapse: collapse; margin: 1em; font-family: sans-serif; min-width: 400px; box-shadow: 0 0 20px rgba(0, 0, 0, 0.15); border-radius: 10px; border-collapse: collapse; overflow: hidden; } table.user thead tr { background-color: #3a5e75; color: #ffffff; text-align: left; } table.user th, table.user td { padding: 12px 15px; } table.user tbody tr { border-bottom: 1px solid #dddddd; } table.user tbody tr:nth-of-type(even) { background-color: #f3f3f3; } table.user tbody tr:last-of-type { border-bottom: 3px solid #3a5e75; }