diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 704 |
1 files changed, 704 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 0000000..c53ebd4 --- /dev/null +++ b/doc/style.css @@ -0,0 +1,704 @@ +/* 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 */ + +/* Specgen style */ + +html, body { + background: #FFF; + color: #000; + margin: 0; + padding: 0; + max-width: 60em; + margin-left: auto; + margin-right: auto; +} +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: 1em; + margin: 0.75em 0 0.5em 0; +} +h1 { + font-size: 180%; + font-weight: 900; +} +h2 { + font-size: 140%; + font-weight: 700; +} +h3 { + font-size: 120%; + font-weight: 700; +} +h4 { + font-size: 110%; + font-weight: 700; +} +h5 { + font-size: 100%; + font-weight: 700; +} +h6 { + font-size: 100%; + font-weight: 600; +} +#titlebox, #meta { + display: inline-block; +} +#titlebox{ + display: inline-block; + width: 75%; + left: 0; + top: 0; +} +#meta { + display: inline-block; + position: absolute; + right: 0; + top: 0; + padding: 0.125em; + font-size: x-small; + border-style: hidden; +} +#meta tr, #meta th, #meta td { + border: 0; + font-weight: normal; + padding: 0.125em 0.25em 0.125em 0.25em; + background-color: transparent; +} +#meta th { + text-align: right; +} +#meta th:after { + content: ": "; +} +#subtitle { + font-size: small; +} +#shortdesc { + font-size: small; + margin-top: 0.25em; +} +#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; +} +#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; + padding: 0 1em 1em 1em; + vertical-align: top; + 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: #000; + margin: 0; +} +:link { + background: transparent; + color: #00C; +} +:visited { + background: transparent; + color: #609; +} +.sec { + color: #000; + 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; +} +@media print { + #topbar { + color: #000; + margin: 0; + margin-left: auto; + margin-right: auto; + padding: 0.25em 0.5em 0.5em 0.5em; + max-width: 60em; + position: relative; + border-bottom: solid 1px #DDD; + } + #topbar a, #topbar a:visited { + color: #000 + } + #title a, #title a:visited { + color: #000; + } + #contents { + display: none; + } +} +@media screen { + #topbar { + background-color: #222; + background: linear-gradient(to bottom, #333 0%, #111 100%); + border-bottom: solid 2px #333; + border-left: solid 2px #333; + border-right: solid 2px #333; + border-radius: 0 0 6px 6px; + color: #EEE; + margin: 0; + margin-left: auto; + margin-right: auto; + padding: 0.25em 0.5em 0 0.5em; + max-width: 60em; + position: relative; + } + #topbar a, #topbar a:visited { + color: #9DB359; + } + #title a, #title a:visited { + color: #FFF; + } + #contents { + margin-top: 0.25em; + padding: 0.25ex 0 0 0; + vertical-align: middle; + font-size: small; + } + #contents li { + display: inline; + list-style-type: none; + margin-right: 1.25em; + padding: 0.25ex; + } +} +#title { + font-size: 200%; + font-weight: 700; + margin: 0; + padding: 0; +} +.content { + padding: 0 0.5em 0 0.5em; + margin: 0; + max-width: 60em; + margin-left: auto; + margin-right: auto; +} +.label { + font-style: italic; +} +.index, table { + border-collapse: initial; + border-spacing: 0; + border-radius: 6px; +} +table th { + border: 0; + border-right: 1px solid #BBB; +} +table thead th { + border-bottom: 1px solid #BBB; +} +table thead tr:first-child th { + border-top: 1px solid #BBB; +} +table td { + vertical-align: top; + border: 0; + border-right: 1px solid #BBB; + border-bottom: 1px solid #BBB; +} +table td:first-child { + border-left: 1px solid #BBB; +} +.index ul { + padding-left: 1em; + border-collapse: initial; +} +table thead tr th:first-child, +table tbody:first-child tr:first-child th:first-child { + border-top-left-radius: 6px; + border-left: 1px solid #BBB; +} +table thead tr th, +table tbody:first-child tr:first-child th { + border-top: 1px solid #BBB; + border-bottom: 1px solid #BBB; +} +table thead tr th:last-child, +table tbody:first-child tr:first-child th:last-child, +table tbody:first-child tr:first-child td:last-child { + border-top: 1px solid #BBB; + border-top-right-radius: 6px; +} +table tbody tr:last-child td:first-child, +table tbody tr:last-child th:first-child { + border-bottom-left-radius: 6px; + border-left: 1px solid #BBB; +} +table tbody tr th:first-child { + border-left: 1px solid #BBB; +} +table tbody tr:last-child td:last-child, +table tr:last-child td:last-child { + border-bottom-right-radius: 6px; +} +.prop { + margin: 0; + padding: 0; +} +.description { + margin-top: 0.25em; + margin-bottom: 0.75em; +} +.blankdesc { + margin: 0 0 0.5em 0; + padding: 0 0 0.5em 0; +} +.blankdesc tbody tr td, .blankdef { + border: 0!important; +} +.terminfo, .restriction { + border-collapse: collapse; + border-style: hidden; +} +.terminfo tbody tr td { + margin-bottom: 1em; +} +.terminfo th, .terminfo td, .description th, .description td { + border-top: 0!important; + border-right: 0!important; + border-bottom: 0!important; + border-left: 0!important; +} +.restriction { + margin: 0 0 0.5ex 0; + padding: 0; + vertical-align: text-top; +} +.restriction td { + vertical-align: text-top; +} +.terminfo th { + padding: 0 0.75em 0.125em 0; + vertical-align: top; +} +.terminfo td, .terminfo td:first-child { + padding: 0 1em 0 0; +} +.specterm { + border: 0; + margin: 0; + padding: 0; + margin-bottom: 1em; +} +.specterm h3 { + font-size: large; + font-weight: bold; + margin: 0; +} +.spectermbody { + padding: 0 1em 1em 2em; +} +dl { + margin: 0; + padding: 0; +} +dt { + font-weight: 700; + margin-top: .75ex; +} +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: 0; + margin: 0; + border: 0; +} +td, th { + border: 1px solid #BBB; + padding: 0.25em 0.5em 0.25em 0.5em; +} +th { + font-weight: bold; + text-align: left; +} +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; + font-weight: bold; +} +.warning { + color: #B58900; + font-weight: bold; +} +.success { + color: #859900; + font-weight: bold; +} |