@import "./pygments.css"; /* Generic page style */ body { background: #FFF; color: #222; font-family: "DejaVu Sans", "SF Pro Text", Verdana, sans-serif; font-style: normal; line-height: 1.6em; margin-left: auto; margin-right: auto; max-width: 60em; padding: 1em; } h1 { font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; font-size: 2.38em; font-weight: 600; line-height: 1.41em; margin: 0 0 0.25em 0; } h2 { font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; font-size: 1.68em; font-weight: 600; line-height: 1.3em; margin: 1.25em 0 0.5em 0; } h3 { font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; font-size: 1.41em; font-weight: 600; line-height: 1.19em; margin: 1.25em 0 0.5em 0; } h4 { font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; font-size: 1.19em; font-weight: 600; line-height: 1.09em; margin: 1.25em 0 0.5em 0; } h5, h6 { font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; font-size: 1em; font-weight: 600; line-height: 1em; margin: 1.25em 0 0.5em 0; } a { color: #546E00; text-decoration: none; } h1 a, h2 a, h3 a, h4 a, h5 a, h6 a { color: #222; } a:link { color: #546E00; text-decoration: none; } a:visited { color: #546E00; } a:hover { text-decoration: underline; } h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link { color: #222; } h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited { color: #222; } img { border: 0; } p { margin: 0.5em 0 0.5em 0; } blockquote { border-left: 1px solid #CCC; margin-left: 1em; padding-left: 1em; } pre, code, kbd, samp { color: #444; font-family: "DejaVu Sans Mono", "SF Mono", Consolas, monospace; margin: 1em 0; white-space: pre; } ul, ol { margin: 0 0 0.5em 0; padding-top: 0; } dt { font-weight: 600; margin: 0.75em 0 0.125em 0; } dt::after { content: ": "; margin-right: 0.5em; } hr { background-color: #EEE; border: 0; color: gray; height: 1px; margin-bottom: 1.5ex; margin-top: 1.5ex; } table { border-collapse: collapse; border-spacing: 1em 1em; border-style: hidden; border: 0; margin: 0; } th { border: 1px solid #EEE; padding: 0.25em 0.5em; text-align: left; } table tbody tr th { text-align: left; } td { border: 1px solid #EEE; padding: 0.25em 0.5em; vertical-align: top; } caption { caption-side: bottom; font-size: small; font-style: italic; margin: 0.75em 0; } footer { color: #444; font-size: small; } /* Specgen style */ #titlebox { display: inline-block; max-width: 60%; left: 0; top: 0; } #metabox { display: inline-block; font-size: x-small; font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif; position: absolute; right: 0; bottom: 0.25em; color: #666; font-style: italic; } #meta { border-style: hidden; } #meta tr, #meta th, #meta td { border: 0; font-weight: normal; padding: 0 0 0.125em 0; background-color: transparent; } #meta th { padding-right: 0.5em; text-align: right; } #meta th::after { content: ": "; } #subtitle { font-size: small; } #shortdesc { padding: 0; margin: 0 0 0.5em 0; font-style: italic; color: #666; display: inline-block; } #logo { height: 63px; margin-left: 1em; margin-top: 10px; width: 100px; } #titlesep { color: #EEE; } #content-body { border-bottom: 0; display: block; font-size: 75%; left: 0; margin-left: 2em; min-width: 660px; padding: 3px 10px 0 0; position: absolute; top: 63px; width: 93.900002%; z-index: 0; } #menu { font-size: 75%; margin-bottom: 5px; padding: 0; width: 16em; } #menu ul { border: 0; list-style: none; margin: 0; padding: 0; } #menu a { text-decoration: none; } #menu ul.level-one a { background-color: #F5F5F5; border: 1px solid #DADADA; color: #4B5A6A; display: block; margin: 0 0 4px 1.4em; padding: 2px 2px 2px 4px; text-transform: uppercase; width: 13.4em !important; } #menu ul.level-two a { background: none; background-color: transparent; border: 0; border-top: 1px solid #DDD; color: #3C4B7B; display: block; margin: 0 3em 0 1.5em; padding: 0.1em; text-transform: none; width: 11em !important; } #menu ul.level-three a { border: 0; color: #5E72A5; display: block; font-size: 95%; margin: 0 3em 0 1.8em; padding: 0.1em 0.1em 0.1em 1em; width: 10em !important; } #menu ul.level-one a:hover, #menu ul.level-two a:hover, #menu ul.level-three a:hover { color: #000; text-decoration: underline; } #menu ul.level-one a.selected { background-color: #FFF; border-left: 3px solid #FFDB4C; color: #000; } #menu ul.level-two a:visited { color: #4C3B5B; } #menu ul.level-two li:first-child a { border-top: 0; } #menu ul.level-one ul.level-two a.selected { background-color: #FFF; border-left: 0; color: #000; font-weight: 700; } #menu li ul { margin-bottom: 7px; } #menu ul.level-three li.selected a.selected { color: #000; font-weight: 400; } #menu ul.level-three { margin-top: 5px; } #searchbox { font-weight: 700; position: absolute; right: 0; text-align: right; top: 0; vertical-align: middle; white-space: nowrap; width: 28.1em; } #search { color: #A38E60; padding: 5px 5px 0 0; } #search .input-text { background-color: #FFF; border: 1px solid #C4CCCC; font-size: 116%; font-weight: 400; margin-top: 3px; vertical-align: top; width: 11em; } #search .input-button { background-color: #F8F7F7; border-bottom: 1px solid #6F7777; border-left: 1px solid #C4CCCC; border-right: 1px solid #6F7777; border-top: 1px solid #C4CCCC; color: #234; font-weight: 700; margin: 3px 0.4em 0; padding: 0 0.2em; vertical-align: text-top; } input.formbutton { background-color: #F8F7F7; border-bottom: 1px solid #6F7777; border-left: 1px solid #C4CCCC; border-right: 1px solid #6F7777; border-top: 1px solid #C4CCCC; color: #234; font-weight: 700; vertical-align: text-top; } .formtextinput { background-color: #FFF; border: 1px solid #C4CCCC; font-size: 116%; font-weight: 400; vertical-align: top; } #content table { clear: right; } .content-section { margin-top: 15px; } .content-section h1 { margin: 0 0 10px; } .content-section p { margin: 0 0 5px; padding-left: 12px; } .content-section .pubdate { color: #696969; margin: 0 0 8px; padding: 0 0 0 12px; } blockquote { border-left: 1px solid #CCC; margin-left: 1em; padding-left: 1em; } #footer { bottom: 0; clear: both; font-size: x-small; margin: 2em 0 0 0; padding: 0; color: #888; } #searchbox a.reference, #searchbox span.reference { color: #339; font-size: 85%; font-weight: 400; position: absolute; right: 8.3em; text-decoration: none; top: 2.9em; } #topbar { line-height: 1em; border-bottom: 1px solid #EEE; } @media print { #topbar { color: #000; margin: 0.25em auto 0.25em auto; padding: 0.25em 0.5em 0.5em 0.5em; max-width: 60em; position: relative; } #contentsbox { display: none; } #topbar a, #title a, #topbar a:visited, #title a:visited { color: #000; } #contents { display: none; } } @media screen { #topbar { margin: 0.25em auto 0.25em auto; padding: 0; max-width: 60em; position: relative; } #contentsbox { color: #546E00; font-size: small; margin: 0 0 1.5em 0; } #contents { display: inline; padding: 0; } #contents li { display: inline; list-style-type: none; margin-left: 0; margin-right: 0.5em; padding: 0.25ex 0.25ex 0.25ex 0; } } #content { clear: both; padding: 0; max-width: 60em; margin-left: auto; margin-right: auto; } .section { clear: right; padding: 0 0 1.5em 0; } .category { font-size: small; color: #AAA; float: right; vertical-align: bottom; padding: 0; margin: 0; padding-right: 0.25em; } .label { font-style: italic; margin-top: 0.25em; color: #666; } table.index { border: 0; line-height: 1.5em; margin-top: 2em; } .index ul { padding-left: 1.25em; margin-left: 0; list-style-type: circle; } .index ul li { padding-left: 0; color: #888; } .prop { margin: 0; padding: 0; } .description { margin-top: 0; margin-bottom: 0.75em; } .blankdesc, .blankdef { border-spacing: 0; margin: 0; padding-left: 0; padding-right: 0; } .blankdesc tbody tr td, .blankdef { border: 0 !important; } .blankdesc td { padding-right: 0.5em; } .blankdesc tbody tr td:first-child { border-left: 1px solid #BBB; text-align: right; } .terminfo, .restriction { border-collapse: collapse; border-spacing: 0; font-size: small; color: #666; border-radius: 0; border-bottom-left-radius: 6px; } table.terminfo { border-top: 0; border-collapse: collapse; margin: -1px 0 2em 2em; padding: 0.25em 0 0.25em 0; float: right; border-bottom: 1px solid #EEE; border-left: 1px solid #EEE; border-bottom-left-radius: 6px; max-width: 50%; line-height: 1.4em; min-width: 25%; } table.terminfo td { padding: 0 0.5em; } .restriction { border-style: hidden; margin: 0 0 0.5ex 0; padding: 0; vertical-align: text-top; } .restriction td { vertical-align: text-top; } .terminfo th { padding: 0 0.5em; text-align: right; vertical-align: top; } .specterm { border: 0; margin: 0; padding: 1em 0; clear: both; } .specterm h3 { display: inline-block; margin-bottom: 0.25em; width: 80%; } .spectermtype { color: #888; display: inline-block; font-size: small; font-style: italic; box-sizing: border-box; margin: 0; padding: 0 0.25em 0 0; text-align: right; vertical-align: bottom; width: 20%; } .spectermbody { border-top: 1px solid #EEE; padding: 0; } .spectermbody .description .comment > p:first-child { color: #444; font-style: italic; margin-bottom: 0.75em; } dl { margin: 0; padding: 0; } hr { background-color: #EEE; border: 0; color: gray; height: 1px; margin-bottom: 1.5ex; margin-top: 1.5ex; } div.head { margin-bottom: 1em; } div.head h1 { clear: both; margin-top: 2em; } div.head table { margin-left: 2em; margin-top: 2em; } #menu li { display: inline; } .error { color: #990A1B; } .warning { color: #7B6000; } .success { color: #546E00; } .highlight, .codehilite { margin-left: 2em; }