aboutsummaryrefslogtreecommitdiffstats
path: root/doc/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css830
1 files changed, 415 insertions, 415 deletions
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 2025-01-08 06:06:12 +0000