aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--doc/doxy-style.css660
-rw-r--r--doc/style.css830
2 files changed, 745 insertions, 745 deletions
diff --git a/doc/doxy-style.css b/doc/doxy-style.css
index 7208676..3070102 100644
--- a/doc/doxy-style.css
+++ b/doc/doxy-style.css
@@ -1,92 +1,92 @@
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;
+ 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;
}
h1, .title, #projectname, h2, h3, h4, h5, h6 {
- line-height: 1.0125em;
- color: #444;
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- margin: 1em 0 0.5em 0;
+ line-height: 1.0125em;
+ color: #444;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ margin: 1em 0 0.5em 0;
}
h1, .titlearea .header .titlebox, #projectname {
- font-size: 300%;
- font-weight: 400;
- margin-bottom: 0.25em;
- margin-top: 0;
+ font-size: 300%;
+ font-weight: 400;
+ margin-bottom: 0.25em;
+ margin-top: 0;
}
.header .headertitle .title {
- font-size: 180%;
- font-weight: 400;
- margin: 0.75em 0.25em 0.5em 0;
+ font-size: 180%;
+ font-weight: 400;
+ margin: 0.75em 0.25em 0.5em 0;
}
.ingroups {
- display: inline;
+ display: inline;
}
.title .ingroups a {
- font-size: small;
- margin-left: 1em;
+ font-size: small;
+ margin-left: 1em;
}
#titlebox, #metabox {
- display: inline-block;
+ display: inline-block;
}
#titlebox{
- display: inline-block;
- width: 75%;
- left: 0;
- top: 0;
+ display: inline-block;
+ width: 75%;
+ left: 0;
+ top: 0;
}
#title {
- margin-bottom: 0.25em;
+ margin-bottom: 0.25em;
}
#shortdesc {
- margin: 0;
- color: #666;
- display: inline-block;
- font-style: italic;
- padding: 0;
+ margin: 0;
+ color: #666;
+ display: inline-block;
+ font-style: italic;
+ padding: 0;
}
#titlearea {
- margin: 0.25em auto 0.25em auto;
- padding: 0;
- position: relative;
- clear: both;
- line-height: 1.0em;
+ margin: 0.25em auto 0.25em auto;
+ padding: 0;
+ position: relative;
+ clear: both;
+ line-height: 1.0em;
}
h2 {
- font-size: 160%;
- font-weight: 400;
+ font-size: 160%;
+ font-weight: 400;
}
h3 {
- font-size: 140%;
- font-weight: 400;
+ font-size: 140%;
+ font-weight: 400;
}
h4 {
- font-size: 120%;
- font-weight: 500;
+ font-size: 120%;
+ font-weight: 500;
}
h5, h6 {
- font-size: 110%;
- font-weight: 600;
+ font-size: 110%;
+ font-weight: 600;
}
h1 a, h1 a:link, h1 a:visited ,
@@ -95,651 +95,651 @@ 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;
+ color: #444;
}
p {
- margin: 0.5em 0 0.5em 0;
+ margin: 0.5em 0 0.5em 0;
}
dt {
- font-weight: 700;
+ font-weight: 700;
}
dd {
- margin-left: 2em;
+ margin-left: 2em;
}
caption {
- font-weight: 700;
+ font-weight: 700;
}
span.legend {
- font-size: small;
- text-align: center;
+ font-size: small;
+ text-align: center;
}
h3.version {
- font-size: small;
- text-align: center;
+ font-size: small;
+ text-align: center;
}
div.qindex,div.navtab {
- background-color: #EBEFF6;
- border: 1px solid #A3B4D7;
- text-align: center;
- margin: 2px;
- padding: 2px;
+ background-color: #EBEFF6;
+ border: 1px solid #A3B4D7;
+ text-align: center;
+ margin: 2px;
+ padding: 2px;
}
div.navtab {
- margin-right: 15px;
+ margin-right: 15px;
}
/* @group Link Styling */
a {
- color: #546E00;
- text-decoration: none;
+ color: #546E00;
+ text-decoration: none;
}
.contents a:visited {
- color: #344E00;
+ color: #344E00;
}
a:hover {
- text-decoration: underline;
+ text-decoration: underline;
}
a.qindexHL {
- background-color: #9CAFD4;
- color: #FFF;
- border: 1px double #869DCA;
+ background-color: #9CAFD4;
+ color: #FFF;
+ border: 1px double #869DCA;
}
code {
- color: #444;
+ color: #444;
}
/* @end */
dl.el {
- margin-left: -1cm;
+ margin-left: -1cm;
}
.fragment {
- font-family: "DejaVu Sans Mono",monospace,fixed;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
}
pre.fragment {
- border: 1px solid #C4C4C4;
- background-color: #F9F9F9;
- padding: 0.5em;
- overflow: auto;
+ border: 1px solid #C4C4C4;
+ background-color: #F9F9F9;
+ padding: 0.5em;
+ overflow: auto;
}
div.ah {
- background-color: #000;
- font-weight: 700;
- color: #FFF;
- margin-bottom: 3px;
- margin-top: 3px;
- padding: .2em;
- border: thin solid #333;
+ background-color: #000;
+ font-weight: 700;
+ color: #FFF;
+ margin-bottom: 3px;
+ margin-top: 3px;
+ padding: .2em;
+ border: thin solid #333;
}
div.groupHeader {
- margin-left: 16px;
- margin-top: 12px;
- margin-bottom: 6px;
- font-weight: 700;
+ margin-left: 16px;
+ margin-top: 12px;
+ margin-bottom: 6px;
+ font-weight: 700;
}
a + h2.groupheader {
- display: none;
+ display: none;
}
div.groupText {
- margin-left: 16px;
- font-style: italic;
+ margin-left: 16px;
+ font-style: italic;
}
div.contents, #content {
- padding: 0 0.25em 0 0.25em;
- max-width: 60em;
- margin-left: auto;
- margin-right: auto;
+ padding: 0 0.25em 0 0.25em;
+ max-width: 60em;
+ margin-left: auto;
+ margin-right: auto;
}
td.indexkey {
- background-color: #EBEFF6;
- font-weight: 700;
- border: 1px solid #C4CFE5;
- margin: 2px 0;
- padding: 2px 10px;
+ background-color: #EBEFF6;
+ font-weight: 700;
+ border: 1px solid #C4CFE5;
+ margin: 2px 0;
+ padding: 2px 10px;
}
td.indexvalue {
- background-color: #EBEFF6;
- border: 1px solid #C4CFE5;
- padding: 2px 10px;
- margin: 2px 0;
+ background-color: #EBEFF6;
+ border: 1px solid #C4CFE5;
+ padding: 2px 10px;
+ margin: 2px 0;
}
table.memname {
- font-family: "DejaVu Sans Mono",monospace,fixed;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
}
tr.memlist {
- background-color: #EEF1F7;
+ background-color: #EEF1F7;
}
p.formulaDsp {
- text-align: center;
+ text-align: center;
}
img.formulaInl {
- vertical-align: middle;
+ vertical-align: middle;
}
div.center {
- text-align: center;
- margin-top: 0;
- margin-bottom: 0;
- padding: 0;
+ text-align: center;
+ margin-top: 0;
+ margin-bottom: 0;
+ padding: 0;
}
div.center img {
- border: 0;
+ border: 0;
}
address.footer {
- text-align: right;
+ text-align: right;
}
img.footer {
- border: 0;
- vertical-align: middle;
+ border: 0;
+ vertical-align: middle;
}
/* @group Code Colorization */
span.keyword {
- color: #586E75;
+ color: #586E75;
}
span.keywordtype {
- color: #546E00;
+ color: #546E00;
}
span.keywordflow {
- color: #586E75;
+ color: #586E75;
}
span.comment {
- color: #6C71C4;
+ color: #6C71C4;
}
span.preprocessor {
- color: #D33682;
+ color: #D33682;
}
span.stringliteral {
- color: #CB4B16;
+ color: #CB4B16;
}
span.charliteral {
- color: #CB4B16;
+ color: #CB4B16;
}
/* @end */
td.tiny {
- font-size: x-small;
+ font-size: x-small;
}
.dirtab {
- padding: 4px;
- border-collapse: collapse;
- border: 1px solid #A3B4D7;
+ padding: 4px;
+ border-collapse: collapse;
+ border: 1px solid #A3B4D7;
}
th.dirtab {
- background: #EBEFF6;
- font-weight: 700;
+ background: #EBEFF6;
+ font-weight: 700;
}
hr {
- height: 0;
- border: none;
- border-top: 1px solid #DDD;
- margin: 2em 0 1em;
+ height: 0;
+ border: none;
+ border-top: 1px solid #DDD;
+ margin: 2em 0 1em;
}
#footer {
- bottom: 0;
- clear: both;
- font-size: x-small;
- margin: 2em 0 0;
- padding: 0 1em 1em 1em;
- vertical-align: top;
- color: #888;
+ bottom: 0;
+ clear: both;
+ font-size: x-small;
+ margin: 2em 0 0;
+ padding: 0 1em 1em 1em;
+ vertical-align: top;
+ color: #888;
}
/* @group Member Descriptions */
table.memberdecls {
- border-spacing: 0.125em;
- line-height: 1.3em;
+ border-spacing: 0.125em;
+ line-height: 1.3em;
}
.mdescLeft,.mdescRight,.memItemLeft,.memItemRight,.memTemplItemLeft,.memTemplItemRight,.memTemplParams {
- margin: 0;
- padding: 0;
+ margin: 0;
+ padding: 0;
}
.mdescLeft,.mdescRight {
- color: #555;
+ color: #555;
}
.memItemLeft,.memItemRight,.memTemplParams {
- border: 0;
- font-family: "DejaVu Sans Mono",monospace,fixed;
+ border: 0;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
}
.memItemLeft,.memTemplItemLeft {
- white-space: nowrap;
- padding-left: 2em;
- padding-right: 1em;
+ white-space: nowrap;
+ padding-left: 2em;
+ padding-right: 1em;
}
.memItemLeft a.el {
- font-weight: bold;
+ font-weight: bold;
}
.memTemplParams {
- color: #464646;
- white-space: nowrap;
+ color: #464646;
+ white-space: nowrap;
}
td.memSeparator {
- display: none;
+ display: none;
}
td.mlabels-right {
- vertical-align: top;
- padding-top: 4px;
- color: #B4C342;
+ vertical-align: top;
+ padding-top: 4px;
+ color: #B4C342;
}
.memtitle {
- display: none;
+ display: none;
}
/* @end */
/* @group Member Details */
/* Styles for detailed member documentation */
.memtemplate {
- color: #888;
- font-style: italic;
- font-family: "DejaVu Sans Mono",monospace,fixed;
- font-size: small;
+ color: #888;
+ font-style: italic;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
+ font-size: small;
}
.memnav {
- background-color: #EEE;
- border: 1px solid #B4C342;
- text-align: center;
- margin: 2px;
- margin-right: 15px;
- padding: 2px;
+ background-color: #EEE;
+ border: 1px solid #B4C342;
+ text-align: center;
+ margin: 2px;
+ margin-right: 15px;
+ padding: 2px;
}
.memitem {
- padding: 0.25em 0.5em 0.25em 0.5em;
- margin: 0 0 1em 0;
- border-radius: 6px;
- border: 1px solid #DDD;
+ padding: 0.25em 0.5em 0.25em 0.5em;
+ margin: 0 0 1em 0;
+ border-radius: 6px;
+ border: 1px solid #DDD;
}
.memproto {
- font-size: 110%;
- font-weight: 400;
- line-height: 1em;
- color: #000;
+ font-size: 110%;
+ font-weight: 400;
+ line-height: 1em;
+ color: #000;
}
.memproto .paramname {
- font-style: normal;
+ font-style: normal;
}
.memdoc {
- padding: 0 0.25em 0 0.25em;
+ padding: 0 0.25em 0 0.25em;
}
.paramkey {
- text-align: right;
+ text-align: right;
}
.paramtype {
- color: #666;
- padding-right: 0.5em;
- white-space: nowrap;
+ color: #666;
+ padding-right: 0.5em;
+ white-space: nowrap;
}
.paramname {
- color: #111;
- white-space: nowrap;
- font-family: "DejaVu Sans Mono",monospace,fixed;
- font-style: italic;
- padding-right: 0.5em;
+ color: #111;
+ white-space: nowrap;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
+ font-style: italic;
+ padding-right: 0.5em;
}
.fieldname {
- color: #000;
+ color: #000;
}
.fieldtable {
- padding-top: 0.25em;
- border-top: 1px dashed #DDD;
+ padding-top: 0.25em;
+ border-top: 1px dashed #DDD;
}
.fieldtable tbody tr:first-child {
- display: none;
+ display: none;
}
td.fieldname {
- padding: 0 0.5em 0 0.25em;
- vertical-align: top;
- font-family: "DejaVu Sans Mono",monospace,fixed;
+ padding: 0 0.5em 0 0.25em;
+ vertical-align: top;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
}
td.fieldtype {
- color: #666;
- padding: 0 0.5em 0 0;
- vertical-align: top;
- font-family: "DejaVu Sans Mono",monospace,fixed;
+ color: #666;
+ padding: 0 0.5em 0 0;
+ vertical-align: top;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
}
td.fielddoc p {
- margin: 0;
- vertical-align: top;
- padding: 0 0.5em 0 0;
+ margin: 0;
+ vertical-align: top;
+ padding: 0 0.5em 0 0;
}
p.reference {
- font-size: x-small;
- font-style: italic;
+ font-size: x-small;
+ font-style: italic;
}
/* @end */
/* @group Directory (tree) */
/* for the tree view */
.ftvtree {
- font-family: sans-serif;
- margin: 0;
+ font-family: sans-serif;
+ margin: 0;
}
/* these are for tree view when used as main index */
.directory {
- font-size: small;
- margin: 0.5em;
+ font-size: small;
+ margin: 0.5em;
}
.directory h3 {
- margin: 0;
- margin-top: 1em;
- font-size: 11pt;
+ margin: 0;
+ margin-top: 1em;
+ font-size: 11pt;
}
.directory > h3 {
- margin-top: 0;
+ margin-top: 0;
}
.directory p {
- margin: 0;
- white-space: nowrap;
+ margin: 0;
+ white-space: nowrap;
}
.directory div {
- display: none;
- margin: 0;
+ display: none;
+ margin: 0;
}
.directory img {
- vertical-align: -30%;
+ vertical-align: -30%;
}
td.entry {
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- font-weight: 400;
- padding-right: 1em;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ font-weight: 400;
+ padding-right: 1em;
}
.arrow {
- color: #CCC;
- user-select: none;
- font-size: 80%;
- display: inline-block;
- width: 16px;
- height: 22px;
- vertical-align: top;
+ color: #CCC;
+ user-select: none;
+ font-size: 80%;
+ display: inline-block;
+ width: 16px;
+ height: 22px;
+ vertical-align: top;
}
td.entry b {
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- font-weight: 400;
- font-size: 130%;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ font-weight: 400;
+ font-size: 130%;
}
/* these are for tree view when not used as main index */
.directory-alt {
- font-size: 100%;
- font-weight: bold;
+ font-size: 100%;
+ font-weight: bold;
}
.directory-alt h3 {
- margin: 0;
- margin-top: 1em;
- font-size: 11pt;
+ margin: 0;
+ margin-top: 1em;
+ font-size: 11pt;
}
.directory-alt > h3 {
- margin-top: 0;
+ margin-top: 0;
}
.directory-alt p {
- margin: 0;
- white-space: nowrap;
+ margin: 0;
+ white-space: nowrap;
}
.directory-alt div {
- display: none;
- margin: 0;
+ display: none;
+ margin: 0;
}
.directory-alt img {
- vertical-align: -30%;
+ vertical-align: -30%;
}
/* @end */
div.dynheader {
- margin-top: 8px;
+ margin-top: 8px;
}
address {
- font-style: normal;
- color: #444;
+ font-style: normal;
+ color: #444;
}
table.doxtable {
- border-collapse: collapse;
- margin: 0.5em;
+ border-collapse: collapse;
+ margin: 0.5em;
}
table.doxtable td,table.doxtable th {
- border: 1px solid #DDD;
- padding: 3px 7px 2px;
+ border: 1px solid #DDD;
+ padding: 3px 7px 2px;
}
table.doxtable th {
- background-color: #F3F3F3;
- color: #000;
- padding-bottom: 4px;
- padding-top: 5px;
- text-align: left;
- font-weight: bold;
+ background-color: #F3F3F3;
+ color: #000;
+ padding-bottom: 4px;
+ padding-top: 5px;
+ text-align: left;
+ font-weight: bold;
}
.tabsearch {
- top: 0;
- left: 10px;
- height: 36px;
- z-index: 101;
- overflow: hidden;
- font-size: 13px;
+ top: 0;
+ left: 10px;
+ height: 36px;
+ z-index: 101;
+ overflow: hidden;
+ font-size: 13px;
}
div.navpath {
- color: #DDD;
+ color: #DDD;
}
.navpath ul {
- overflow: hidden;
- margin: 0;
- padding: 0;
+ overflow: hidden;
+ margin: 0;
+ padding: 0;
}
.navpath li {
- float: left;
- padding-left: 0;
- margin-left: 0.5em;
- padding-right: 1em;
+ float: left;
+ padding-left: 0;
+ margin-left: 0.5em;
+ padding-right: 1em;
}
.navpath a {
- display: block;
- text-decoration: none;
- outline: none;
+ display: block;
+ text-decoration: none;
+ outline: none;
}
div.summary {
- font-size: small;
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- margin: 0;
- color: #FFF; /* Hide separator bars */
- border-bottom: 1px solid #DDD;
- padding: 0.25em 0;
+ font-size: small;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ margin: 0;
+ color: #FFF; /* Hide separator bars */
+ border-bottom: 1px solid #DDD;
+ padding: 0.25em 0;
}
div.summary a {
- white-space: nowrap;
+ white-space: nowrap;
}
/* Metadata box (right aligned next to title) */
#metabox {
- display: inline-block;
- font-size: x-small;
- margin: 0 0 0.25em 0;
- position: absolute;
- right: 0;
- top: 0;
- color: #666;
- font-style: italic;
- padding: 0 1em;
+ display: inline-block;
+ font-size: x-small;
+ margin: 0 0 0.25em 0;
+ position: absolute;
+ right: 0;
+ top: 0;
+ color: #666;
+ font-style: italic;
+ padding: 0 1em;
}
#meta {
- border-style: hidden;
- margin-right: 0.25em;
+ border-style: hidden;
+ margin-right: 0.25em;
}
#meta tr, #meta th, #meta td {
- background-color: transparent;
- border: 0;
- margin: 0;
- font-weight: normal;
+ background-color: transparent;
+ border: 0;
+ margin: 0;
+ font-weight: normal;
}
#meta th {
- text-align: right;
+ text-align: right;
}
#meta th:after {
- content: ":";
+ content: ":";
}
div.line {
- font-family: "DejaVu Sans Mono",monospace,fixed;
- line-height: 1.4em;
- white-space: pre-wrap;
+ font-family: "DejaVu Sans Mono",monospace,fixed;
+ line-height: 1.4em;
+ white-space: pre-wrap;
}
.glow {
- background-color: #2AA198;
- box-shadow: 0 0 10px #2AA198;
+ background-color: #2AA198;
+ box-shadow: 0 0 10px #2AA198;
}
span.lineno {
- padding-right: 4px;
- text-align: right;
- border-right: 2px solid #546E00;
- background-color: #E8E8E8;
- white-space: pre;
+ padding-right: 4px;
+ text-align: right;
+ border-right: 2px solid #546E00;
+ background-color: #E8E8E8;
+ white-space: pre;
}
span.lineno a {
- background-color: #D8D8D8;
+ background-color: #D8D8D8;
}
span.lineno a:hover {
- background-color: #C8C8C8;
+ background-color: #C8C8C8;
}
.tabs, .tabs2, .navpath {
- padding: 0.25em 0;
- border-bottom: 1px solid #DDD;
- font-size: small;
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- margin: 0;
+ padding: 0.25em 0;
+ border-bottom: 1px solid #DDD;
+ font-size: small;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ margin: 0;
}
th {
- text-align: left;
- font-size: 110%;
- font-weight: 500;
+ text-align: left;
+ font-size: 110%;
+ font-weight: 500;
}
.mlabel {
- padding: 0.125em;
+ padding: 0.125em;
}
/* tabs*/
.tablist {
- margin: 0;
- padding: 0;
- display: table;
+ margin: 0;
+ padding: 0;
+ display: table;
}
.tablist li {
- display: table-cell;
- line-height: 2em;
- list-style: none;
- border-bottom: 0;
+ display: table-cell;
+ line-height: 2em;
+ list-style: none;
+ border-bottom: 0;
}
.tablist a {
- display: block;
- padding: 0 1em 0 0;
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
- text-decoration: none;
- outline: none;
+ display: block;
+ padding: 0 1em 0 0;
+ font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ text-decoration: none;
+ outline: none;
}
.tabs3 .tablist a {
- padding: 0 10px;
+ padding: 0 10px;
}
.tablist li.current a {
- color: #222;
+ color: #222;
}
span.icon {
- display: none;
+ display: none;
}
diff --git a/doc/style.css b/doc/style.css
index 377530b..5a34855 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -3,29 +3,29 @@
/* Specgen style */
a:link, a:visited {
- text-decoration: none;
+ text-decoration: none;
}
a:link {
- color: #546E00;
+ color: #546E00;
}
a:visited {
- color: #354500;
+ color: #354500;
}
a:hover {
- text-decoration: underline;
+ text-decoration: underline;
}
img {
- border: 0;
+ 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;
+ 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;
+ font-size: 300%;
+ font-weight: 400;
}
h1 a, h1 a:link, h1 a:visited ,
h2 a, h2 a:link, h2 a:visited ,
@@ -33,643 +33,643 @@ 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;
+ color: #444;
}
h2 {
- font-size: 200%;
- font-weight: 400;
+ font-size: 200%;
+ font-weight: 400;
}
h3 {
- font-size: 140%;
- font-weight: 400;
+ font-size: 140%;
+ font-weight: 400;
}
h4, h4 a, h4 a:link, h4 a:visited {
- color: black;
- font-size: 110%;
- font-weight: 500;
+ color: black;
+ font-size: 110%;
+ font-weight: 500;
}
h5 {
- font-size: 100%;
- font-weight: 600;
+ font-size: 100%;
+ font-weight: 600;
}
h6 {
- font-size: 100%;
- font-weight: 700;
+ font-size: 100%;
+ font-weight: 700;
}
#titlebox, #metabox {
- display: inline-block;
+ display: inline-block;
}
#titlebox{
- display: inline-block;
- max-width: 60%;
- left: 0;
- top: 0;
+ 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;
+ 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;
+ border-style: hidden;
}
#meta tr, #meta th, #meta td {
- border: 0;
- font-weight: normal;
- padding: 0 0 0.125em 0;
- background-color: transparent;
+ border: 0;
+ font-weight: normal;
+ padding: 0 0 0.125em 0;
+ background-color: transparent;
}
#meta th {
- text-align: right;
+ text-align: right;
}
#meta th:after {
- content: ": ";
+ content: ": ";
}
#subtitle {
- font-size: small;
+ font-size: small;
}
#shortdesc {
- padding: 0;
- margin: 0 0 0.5em 0;
- font-style: italic;
- color: #666;
- display: inline-block;
+ 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;
+ height: 63px;
+ margin-left: 1em;
+ margin-top: 10px;
+ width: 100px;
}
#titlesep {
- color: #DDD;
+ 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;
+ 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;
+ 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;
+ left: 1ex;
+ position: absolute;
+ top: 100px;
+ z-index: 1;
}
#menu {
- font-size: 75%;
- margin-bottom: 5px;
- padding: 0;
- width: 16em;
+ font-size: 75%;
+ margin-bottom: 5px;
+ padding: 0;
+ width: 16em;
}
#menu ul {
- border: 0;
- list-style: none;
- margin: 0;
- padding: 0;
+ 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;
+ 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;
+ background-color: #FFF;
+ border-left: 3px solid #ffdb4c;
+ color: #000;
}
#menu ul.level-two li:first-child a {
- border-top: 0;
+ 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;
+ 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;
+ color: #4c3b5b;
}
#menu ul.level-one ul.level-two a.selected {
- background-color: #FFF;
- border-left: 0;
- color: #000;
- font-weight: 700;
+ background-color: #FFF;
+ border-left: 0;
+ color: #000;
+ font-weight: 700;
}
#menu li ul {
- margin-bottom: 7px;
+ margin-bottom: 7px;
}
#menu a {
- text-decoration: none;
+ 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;
+ 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;
+ color: #000;
+ font-weight: 400;
}
#menu ul.level-three {
- margin-top: 5px;
+ margin-top: 5px;
}
#left-hand-navigation h4 {
- color: #4c5b6b;
- font-size: 77%;
- margin: .2em 0 .3em;
- padding: .4em 0 0 1.5em;
+ 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;
+ color: #4c5b6b;
+ font-weight: 700;
+ text-decoration: none;
}
#body-main ul, #body-main li {
- margin-left: 1em;
- padding-left: 0;
+ 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;
+ 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;
+ color: #436a85;
+ padding: 0 .5em;
+ text-decoration: none;
}
#utility-menu a:hover {
- text-decoration: underline;
+ text-decoration: underline;
}
#utility-menu #screen-switcher {
- bottom: 0;
- margin: 0;
- padding: 0;
- position: absolute;
- right: 0;
+ bottom: 0;
+ margin: 0;
+ padding: 0;
+ position: absolute;
+ right: 0;
}
#screen-switcher dl {
- margin: 0;
- padding: 0;
+ 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;
+ 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;
+ 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;
+ 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;
+ 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;
+ 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;
+ background-color: #FFF;
+ border: 1px solid #c4cccc;
+ font-size: 116%;
+ font-weight: 400;
+ vertical-align: top;
}
#content table {
- clear: right;
+ clear: right;
}
#body-main h1.pageheading {
- margin: 40px 0 10px;
+ margin: 40px 0 10px;
}
.content-section {
- margin-top: 15px;
+ margin-top: 15px;
}
.content-section h1 {
- margin: 0 0 10px;
+ margin: 0 0 10px;
}
.content-section p {
- margin: 0 0 5px;
- padding-left: 12px;
+ margin: 0 0 5px;
+ padding-left: 12px;
}
.content-section .pubdate {
- color: #696969;
- margin: 0 0 8px;
- padding: 0 0 0 12px;
+ color: #696969;
+ margin: 0 0 8px;
+ padding: 0 0 0 12px;
}
blockquote {
- border-left: 1px solid #ccc;
- margin-left: 1em;
- padding-left: 1em;
+ border-left: 1px solid #ccc;
+ margin-left: 1em;
+ padding-left: 1em;
}
#utility-menu dl {
- font-size: 80%;
- font-weight: 700;
- text-align: right;
+ font-size: 80%;
+ font-weight: 700;
+ text-align: right;
}
#utility-menu dd {
- display: inline;
- font-weight: 400;
- padding: 0 0 0 8px;
+ display: inline;
+ font-weight: 400;
+ padding: 0 0 0 8px;
}
#utility-menu dd a {
- color: #888;
- margin: 0;
- padding: 0;
+ color: #888;
+ margin: 0;
+ padding: 0;
}
#utility-menu dt {
- margin: 0;
+ margin: 0;
}
#footer {
- bottom: 0;
- clear: both;
- font-size: x-small;
- margin: 2em 0 0 0;
- padding: 0;
- color: #888;
+ 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;
+ 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;
+ 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;
+ 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;
+ background: transparent;
+ color: #00C;
}
:visited {
- background: transparent;
- color: #609;
+ background: transparent;
+ color: #609;
}
.sec {
- margin: 0.5em 0 0.5em 0;
- padding: 1ex 0 0.5ex 0;
+ 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;
+ margin-top: 0;
+ padding-top: 0;
+ margin: 0 0 0.5ex 0;
}
#topbar {
- line-height: 1em;
+ 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;
- }
+ #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;
- }
+ #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;
+ margin-top: 0;
+ margin-bottom: 0.25em;
}
#content {
- clear: both;
- padding: 0;
- max-width: 60em;
- margin-left: auto;
- margin-right: auto;
+ clear: both;
+ padding: 0;
+ max-width: 60em;
+ margin-left: auto;
+ margin-right: auto;
}
.section {
- padding: 0;
+ padding: 0;
}
.category {
- font-size: small;
- color: #AAA;
- float: right;
- vertical-align: bottom;
- padding: 0;
- margin: 0;
- padding-right: 0.25em;
+ 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;
+ 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%;
+ 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;
+ border: 0;
+ border-bottom: 1px solid #DDD;
}
table thead tr:first-child th {
- border: 0;
+ border: 0;
}
table td {
- border: 0;
+ border: 0;
}
table td:first-child {
- border: 0;
+ border: 0;
}
.index td {
- vertical-align: top;
+ vertical-align: top;
}
.index ul {
- padding-left: 1.25em;
- margin-left: 0;
- list-style-type: circle;
+ padding-left: 1.25em;
+ margin-left: 0;
+ list-style-type: circle;
}
.index ul li
{
- padding-left: 0;
- color: #888;
+ padding-left: 0;
+ color: #888;
}
.prop {
- margin: 0;
- padding: 0;
+ margin: 0;
+ padding: 0;
}
.description {
- margin-top: 0;
- margin-bottom: 0.75em;
+ margin-top: 0;
+ margin-bottom: 0.75em;
}
.blankdesc, .blankdef {
- margin: 0;
- padding: 0;
- border-spacing: 0;
+ margin: 0;
+ padding: 0;
+ border-spacing: 0;
}
.blankdesc tbody tr td, .blankdef {
- border: 0!important;
+ border: 0!important;
}
.blankdesc td {
- padding-right: 0.5em;
+ padding-right: 0.5em;
}
.blankdesc tbody tr td:first-child {
- border-left: 1px solid #BBB;
- text-align: right;
+ 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;
+ 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%;
+ 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;
+ border-bottom-left-radius: 6px;
+ border-left: 1px solid #BBB;
}
.restriction {
- border-style: hidden;
+ border-style: hidden;
}
.terminfo th {
- text-align: right;
- padding-right: 0;
- font-size: 100%;
+ text-align: right;
+ padding-right: 0;
+ font-size: 100%;
}
.restriction {
- margin: 0 0 0.5ex 0;
- padding: 0;
- vertical-align: text-top;
+ margin: 0 0 0.5ex 0;
+ padding: 0;
+ vertical-align: text-top;
}
.restriction td {
- vertical-align: text-top;
+ vertical-align: text-top;
}
.terminfo th {
- padding: 0.125em 0.25em 0.125em 0.5em;
- border-left: 1px solid #EEE!important;
- vertical-align: top;
+ 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;
+ border: 0;
+ margin: 1em 0 3em 0;
+ padding: 0;
+ clear: both;
}
.specterm h4 {
- margin-bottom: 0;
- display: inline;
+ margin-bottom: 0;
+ display: inline;
}
.spectermbody {
- border-top: 1px solid #EEE;
- padding: 0;
+ border-top: 1px solid #EEE;
+ padding: 0;
}
dl {
- margin: 0;
- padding: 0;
+ margin: 0;
+ padding: 0;
}
dt {
- margin-top: .5em;
- font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+ 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;
+ background-color: #DDD;
+ border: 0;
+ color: gray;
+ height: 1px;
+ margin-bottom: 1.5ex;
+ margin-top: 1.5ex;
}
div.head {
- margin-bottom: 1em;
+ margin-bottom: 1em;
}
div.head h1 {
- clear: both;
- margin-top: 2em;
+ clear: both;
+ margin-top: 2em;
}
div.head table {
- margin-left: 2em;
- margin-top: 2em;
+ margin-left: 2em;
+ margin-top: 2em;
}
table {
- border-collapse: initial;
- border-spacing: 1.0em 0;
- margin: 0;
- border: 0;
+ 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;
+ font-size: 115%;
+ font-weight: 500;
+ text-align: left;
+ padding-bottom: 0.5em;
}
p {
- font-family: inherit;
- margin-bottom: 1em;
+ font-family: inherit;
+ margin-bottom: 1em;
}
pre {
- margin: 1em 1em 1em 4em;
- padding: 0;
- color: #444;
- font-family: fixed,monospace;
+ margin: 1em 1em 1em 4em;
+ padding: 0;
+ color: #444;
+ font-family: fixed,monospace;
}
code {
- color: #444;
- font-family: fixed,monospace;
+ color: #444;
+ font-family: fixed,monospace;
}
#menu li, #searchbox form, #iconbar li, #body-main .success p a {
- display: inline;
+ 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;
+ color: #000;
+ text-decoration: underline;
}
h1, h2, h3, h4, h5, h6, th {
- text-align: left;
+ text-align: left;
}
.error {
- color: #DC322F;
+ color: #DC322F;
}
.warning {
- color: #B58900;
+ color: #B58900;
}
.success {
- color: #859900;
+ color: #859900;
}
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-02 21:06:36 +0000