diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 675 |
1 files changed, 675 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 0000000..377530b --- /dev/null +++ b/doc/style.css @@ -0,0 +1,675 @@ +@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; +} |