@import "./pygments.css"; /* Specgen style */ a:link, a:visited { text-decoration: none; } a:link { color: #546E00; } a:visited { color: #354500; } a:hover { text-decoration: underline; } img { border: 0; } h1, h2, h3, h4, h5, h6 { line-height: 1.0125em; font-family: "DejaVu Sans",Helvetica,Arial,sans-serif; margin-top: 1em; margin-bottom: 0.5em; } h1 { font-size: 300%; font-weight: 400; } h1 a, h1 a:link, h1 a:visited , h2 a, h2 a:link, h2 a:visited , h3 a, h3 a:link, h3 a:visited , h4 a, h4 a:link, h4 a:visited , h5 a, h5 a:link, h5 a:visited , h6 a, h6 a:link, h6 a:visited { color: #444; } h2 { font-size: 200%; font-weight: 400; } h3 { font-size: 140%; font-weight: 400; } h4, h4 a, h4 a:link, h4 a:visited { color: black; font-size: 110%; font-weight: 500; } h5 { font-size: 100%; font-weight: 600; } h6 { font-size: 100%; font-weight: 700; } #titlebox, #metabox { display: inline-block; } #titlebox{ display: inline-block; max-width: 60%; left: 0; top: 0; } #metabox { float: right; display: inline-block; font-size: x-small; margin: 0 0 0.25em 0; right: 0; top: 0; color: #666; font-style: italic; padding: 0 1em; } #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 { 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: #DDD; } #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; } #body-main { font-size: 100%; line-height: 1.4em; margin-left: 19em; padding: 0 .55em 40px 0; } #left-hand-navigation { left: 1ex; position: absolute; top: 100px; z-index: 1; } #menu { font-size: 75%; margin-bottom: 5px; padding: 0; width: 16em; } #menu ul { border: 0; list-style: none; margin: 0; padding: 0; } #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-one a.selected { background-color: #FFF; border-left: 3px solid #ffdb4c; color: #000; } #menu ul.level-two li:first-child a { border-top: 0; } #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: .1em; text-transform: none; width: 11em!important; } #menu ul.level-two a:visited { color: #4c3b5b; } #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 a { text-decoration: none; } #menu ul.level-three a { border: 0; color: #5e72a5; display: block; font-size: 95%; margin: 0 3em 0 1.8em; padding: .1em .1em .1em 1em; width: 10em!important; } #menu ul.level-three li.selected a.selected { color: #000; font-weight: 400; } #menu ul.level-three { margin-top: 5px; } #left-hand-navigation h4 { color: #4c5b6b; font-size: 77%; margin: .2em 0 .3em; padding: .4em 0 0 1.5em; } #left-hand-navigation h4 a { color: #4c5b6b; font-weight: 700; text-decoration: none; } #body-main ul, #body-main li { margin-left: 1em; padding-left: 0; } #utility-menu { font-size: 88%; height: 85px; margin: 0; padding: 0; position: absolute; right: 4%; top: 0; width: 400px; z-index: 1; } #utility-menu a { color: #436a85; padding: 0 .5em; text-decoration: none; } #utility-menu a:hover { text-decoration: underline; } #utility-menu #screen-switcher { bottom: 0; margin: 0; padding: 0; position: absolute; right: 0; } #screen-switcher dl { margin: 0; padding: 0; } #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 .4em 0; padding: 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; } #body-main h1.pageheading { margin: 40px 0 10px; } .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; } #utility-menu dl { font-size: 80%; font-weight: 700; text-align: right; } #utility-menu dd { display: inline; font-weight: 400; padding: 0 0 0 8px; } #utility-menu dd a { color: #888; margin: 0; padding: 0; } #utility-menu dt { margin: 0; } #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; } #body-main .success p { margin: 4px 8px; } body { background: #FFF; color: #222; font-style: normal; line-height: 1.6em; margin-left: auto; margin-right: auto; padding: 1em; max-width: 60em; font-family: "DejaVu Serif",Palatino,serif; text-rendering: optimizeLegibility; } :link { background: transparent; color: #00C; } :visited { background: transparent; color: #609; } .sec { margin: 0.5em 0 0.5em 0; padding: 1ex 0 0.5ex 0; } ul, ol { margin-top: 0; padding-top: 0; margin: 0 0 0.5ex 0; } #topbar { line-height: 1em; } @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, #topbar a:visited { color: #000 } #title a, #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; font-family: "DejaVu Sans",Helvetica,Arial,sans-serif; margin: 0.5em 0 0.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; } hr.contentssep { line-height: 0.5; margin: 0 0 1em 0; padding: 0; } } #title { margin-top: 0; margin-bottom: 0.25em; } #content { clear: both; padding: 0; max-width: 60em; margin-left: auto; margin-right: auto; } .section { padding: 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-collapse: initial; border-radius: 6px; border-spacing: 0; border: 0; font-family: "DejaVu Sans",Helvetica,Arial,sans-serif; font-size: small; line-height: 1.5em; width: 100%; } table thead th { border: 0; border-bottom: 1px solid #DDD; } table thead tr:first-child th { border: 0; } table td { border: 0; } table td:first-child { border: 0; } .index td { vertical-align: top; } .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 { margin: 0; padding: 0; border-spacing: 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: initial; border-spacing: 0; font-size: small; color: #666; border-radius: 0; border-bottom-left-radius: 6px; border-bottom-right-radius: 6px; } table.terminfo { border-top: 0; margin: 0; margin-left: 1.5em; margin-bottom: 1.5em; padding: 0; float: right; border-bottom: 1px solid #EEE; max-width: 50%; } table.terminfo tbody tr:last-child td:first-child, table.terminfo tbody tr:last-child th:first-child { border-bottom-left-radius: 6px; border-left: 1px solid #BBB; } .restriction { border-style: hidden; } .terminfo th { text-align: right; padding-right: 0; font-size: 100%; } .restriction { margin: 0 0 0.5ex 0; padding: 0; vertical-align: text-top; } .restriction td { vertical-align: text-top; } .terminfo th { padding: 0.125em 0.25em 0.125em 0.5em; border-left: 1px solid #EEE!important; vertical-align: top; } .specterm { border: 0; margin: 1em 0 3em 0; padding: 0; clear: both; } .specterm h4 { margin-bottom: 0; display: inline; } .spectermbody { border-top: 1px solid #EEE; padding: 0; } dl { margin: 0; padding: 0; } dt { margin-top: .5em; font-family: "DejaVu Sans",Helvetica,Arial,sans-serif; } hr { background-color: #DDD; 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; } table { border-collapse: initial; border-spacing: 1.0em 0; margin: 0; border: 0; } th { font-size: 115%; font-weight: 500; text-align: left; padding-bottom: 0.5em; } p { font-family: inherit; margin-bottom: 1em; } pre { margin: 1em 1em 1em 4em; padding: 0; color: #444; font-family: fixed,monospace; } code { color: #444; font-family: fixed,monospace; } #menu li, #searchbox form, #iconbar li, #body-main .success p a { display: inline; } #menu ul.level-one a:hover, #menu ul.level-two a:hover, #menu ul.level-three a:hover, #left-hand-navigation h4 a:hover { color: #000; text-decoration: underline; } h1, h2, h3, h4, h5, h6, th { text-align: left; } .error { color: #DC322F; } .warning { color: #B58900; } .success { color: #859900; }