diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 694 |
1 files changed, 0 insertions, 694 deletions
diff --git a/doc/style.css b/doc/style.css deleted file mode 100644 index 7f154ec..0000000 --- a/doc/style.css +++ /dev/null @@ -1,694 +0,0 @@ -/* 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; -} -a:active { - background: transparent; - color: #C00; -} -.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 #666; - border-bottom: 1px solid #666; -} -table tr:first-child th { - border-top: 1px solid #666; -} -table td { - vertical-align: top; - border: 0; - border-right: 1px solid #666; - border-bottom: 1px solid #666; -} -table td:first-child { - border-left: 1px solid #666; -} -.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 #666; -} -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 #666; - 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 #666; -} -table tbody tr th:first-child { - border-left: 1px solid #666; -} -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; -} -.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; - border: 0; - vertical-align: top; -} -.terminfo td, .terminfo td:first-child { - padding: 0 1em 0 0; - border: 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 #666; - 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; -} |