/* Specgen style */ html, body { font-family: sans-serif; font-size: 100%; background-color: #fff; color: #000; margin: 0; padding: 0; } a:link, a:visited { text-decoration: none; } a:link { color: #25664D; } a:visited { color: #456659; } a:hover { text-decoration: underline; } img { border: 0; } h1, h2, h3, h4, h5, h6 { line-height: 1em; margin: 1em 0 0.5em 0; } h1 { font-size: 180%; font-weight: 900; } h2 { font-size: 140%; font-weight: 650; } h3 { font-size: 130%; font-weight: 600; } h4 { font-size: 120%; font-weight: 550; } h5 { font-size: 110%; font-weight: 500; } h6 { font-size: 100%; font-weight: 450; } #header { background-color: #F3F3F3; border: 0; border-bottom: 1px solid #DDD; margin: 0 0 1em 0; padding: 1ex; } #title { font-size: 200%; font-weight: 700; margin: .25ex 0 .25ex 0; padding: 0; } #subtitle { margin: 0 auto 2ex 0.5ex; } #logo { height: 63px; margin-left: 1em; margin-top: 10px; width: 100px; } #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; } div#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; margin: 0; 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; padding: 0 1em 1em 1em; vertical-align: top; background-color: #F3F3F3; border-top: 1px solid #DDD; } #footer div { padding-top: 1em; } #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; } #content { font-size: 115%; min-height: 500px; } #body-main .success p { margin: 4px 8px; } body { background: #FFF; color: #000; margin: 0; } :link { background: transparent; color: #00C; } :visited { background: transparent; color: #609; } a:active { background: transparent; color: #C00; } .sec { border-bottom: 1px dashed #CCC; color: #000; margin: 1em 1em 0.5em 1em; padding: 1ex 0 0.5ex 0; } ul, ol { margin-top: 0; padding-top: 0; margin: 0 0 0.5ex 0; } .content { margin-left: 2em; margin-right: 2em; } .label { font-style: italic; margin: 1ex 0; } .index { margin-left: 1em; } .prop { margin: 0; padding: 0; } .description { margin-bottom: 0.75em; } .blankdesc { margin: 0; padding: 0; } .blankterm { padding-right: .5em; } .terminfo, .restriction { border-collapse: collapse; border-style: hidden; } .restriction { margin: 0 0 0.5ex 0; padding: 0; vertical-align: text-top; } .restriction td { vertical-align: text-top; } .terminfo th { padding: 0 1ex 0 0; } .specterm { background-color: #F7F7F7; border: 0; border: 1px solid #CCC; margin: 0; padding: 0; margin-bottom: 1em; } .specterm h3 { padding: 0.5ex; margin: 0; } .spectermbody { padding: 0 1em 1ex 1em; } dl { margin: 0; padding: 0; } dt { font-weight: 700; margin-top: .75ex; } hr { background-color: silver; 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: collapse; border-style: hidden; margin: 0; } th { vertical-align: text-top; } td, th { border: 1px dashed #ccc; padding: 0.3ex 0.5em 0.3ex 0.5em; } #meta { margin: 1ex 0 0 0.5ex; font-size: small; } #meta tr th { padding-left: 0; } pre { margin: 1em 1em 1em 4em; padding: 0; } code { color: #373; font-family: fixed,monospace; font-weight: 500; } #menu li, #searchbox form, ul#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: red; font-weight: bold; } .warning { color: orange; font-weight: bold; } .success { color: green; font-weight: bold; } /* Pygments Style */ .hll { background-color: #ffffcc } .c { color: #408080; font-style: italic } /* Comment */ .err { border: 1px solid #FF0000 } /* Error */ .k { color: #BB712B; } /* Keyword */ .o { color: #666666 } /* Operator */ .cm { color: #408080; font-style: italic } /* Comment.Multiline */ .cp { color: #D33682 } /* Comment.Preproc */ .c1 { color: #408080; font-style: italic } /* Comment.Single */ .cs { color: #408080; font-style: italic } /* Comment.Special */ .gd { color: #A00000 } /* Generic.Deleted */ .ge { font-style: italic } /* Generic.Emph */ .gr { color: #FF0000 } /* Generic.Error */ .gh { color: #000080; font-weight: bold } /* Generic.Heading */ .gi { color: #00A000 } /* Generic.Inserted */ .go { color: #808080 } /* Generic.Output */ .gp { color: #000080; font-weight: bold } /* Generic.Prompt */ .gs { font-weight: bold } /* Generic.Strong */ .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ .gt { color: #0040D0 } /* Generic.Traceback */ .kc { color: #008000; font-weight: bold } /* Keyword.Constant */ .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */ .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */ .kp { color: #008000 } /* Keyword.Pseudo */ .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */ .kt { color: #3E873E } /* Keyword.Type */ .m { color: #666666 } /* Literal.Number */ .s { color: #BA2121 } /* Literal.String */ .na { color: #7D9029 } /* Name.Attribute */ .nb { color: #008000 } /* Name.Builtin */ .nc { color: #000000; font-weight: bold } /* Name.Class */ .no { color: #880000 } /* Name.Constant */ .nd { color: #AA22FF } /* Name.Decorator */ .ni { color: #999999; font-weight: bold } /* Name.Entity */ .ne { color: #D2413A; font-weight: bold } /* Name.Exception */ .nf { color: #222222; font-weight: bold } /* Name.Function */ .nl { color: #A0A000 } /* Name.Label */ .nn { color: #000000 } /* Name.Namespace */ .nt { color: #334433; } /* Name.Tag */ .nv { color: #19177C } /* Name.Variable */ .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */ .w { color: #bbbbbb } /* Text.Whitespace */ .mf { color: #666666 } /* Literal.Number.Float */ .mh { color: #666666 } /* Literal.Number.Hex */ .mi { color: #666666 } /* Literal.Number.Integer */ .mo { color: #666666 } /* Literal.Number.Oct */ .sb { color: #BA2121 } /* Literal.String.Backtick */ .sc { color: #BA2121 } /* Literal.String.Char */ .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */ .s2 { color: #BA2121 } /* Literal.String.Double */ .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */ .sh { color: #BA2121 } /* Literal.String.Heredoc */ .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */ .sx { color: #008000 } /* Literal.String.Other */ .sr { color: #BB6688 } /* Literal.String.Regex */ .s1 { color: #BA2121 } /* Literal.String.Single */ .ss { color: #19177C } /* Literal.String.Symbol */ .bp { color: #008000 } /* Name.Builtin.Pseudo */ .vc { color: #19177C } /* Name.Variable.Class */ .vg { color: #19177C } /* Name.Variable.Global */ .vi { color: #19177C } /* Name.Variable.Instance */ .il { color: #666666 } /* Literal.Number.Integer.Long */ .p { color: #999999 } /* Punctuation */