aboutsummaryrefslogtreecommitdiffstats
path: root/doc/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/style.css')
-rw-r--r--doc/style.css1044
1 files changed, 588 insertions, 456 deletions
diff --git a/doc/style.css b/doc/style.css
index c7a6280..cf32b28 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,571 +1,703 @@
-/* Specgen style */
+@import "./pygments.css";
+
+/* Generic page style */
+
+body {
+ background: #FFF;
+ color: #222;
+ font-family: "DejaVu Sans", "SF Pro Text", Verdana, sans-serif;
+ font-style: normal;
+ line-height: 1.6em;
+ margin-left: auto;
+ margin-right: auto;
+ max-width: 60em;
+ padding: 1em;
+}
+
+h1 {
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ font-size: 2.38em;
+ font-weight: 600;
+ line-height: 1.41em;
+ margin: 0 0 0.25em 0;
+}
+
+h2 {
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ font-size: 1.68em;
+ font-weight: 600;
+ line-height: 1.3em;
+ margin: 1.25em 0 0.5em 0;
+}
+
+h3 {
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ font-size: 1.41em;
+ font-weight: 600;
+ line-height: 1.19em;
+ margin: 1.25em 0 0.5em 0;
+}
+
+h4 {
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ font-size: 1.19em;
+ font-weight: 600;
+ line-height: 1.09em;
+ margin: 1.25em 0 0.5em 0;
+}
-html, body {
- font-family: sans-serif;
- font-size: 100%;
- background-color: #fff;
- color: #000;
- margin: 0;
- padding: 0;
+h5, h6 {
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ font-size: 1em;
+ font-weight: 600;
+ line-height: 1em;
+ margin: 1.25em 0 0.5em 0;
}
-a:link, a:visited {
- text-decoration: none;
+
+a {
+ color: #546E00;
+ text-decoration: none;
+}
+
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+ color: #222;
}
+
a:link {
- color: #3D8C57;
+ color: #546E00;
+ text-decoration: none;
}
+
a:visited {
- color: #50755E;
+ color: #546E00;
}
+
a:hover {
- text-decoration: underline;
+ text-decoration: underline;
+}
+
+h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+ color: #222;
+}
+
+h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+ color: #222;
}
+
img {
- border: 0;
+ border: 0;
}
-h1, h2, h3, h4, h5, h6 {
- line-height: 1em;
- margin: 1em 0 0.5em 0;
+
+p {
+ margin: 0.5em 0 0.5em 0;
}
-h1 {
- font-size: 180%;
- font-weight: 900;
+
+blockquote {
+ border-left: 1px solid #CCC;
+ margin-left: 1em;
+ padding-left: 1em;
}
-h2 {
- font-size: 140%;
- font-weight: 650;
+
+pre, code, kbd, samp {
+ color: #444;
+ font-family: "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
+ margin: 1em 0;
+ white-space: pre;
}
-h3 {
- font-size: 130%;
- font-weight: 600;
+
+ul, ol {
+ margin: 0 0 0.5em 0;
+ padding-top: 0;
}
-h4 {
- font-size: 120%;
- font-weight: 550;
-}
-h5 {
- font-size: 110%;
- font-weight: 500;
-}
-h6 {
- font-size: 100%;
- font-weight: 450;
-}
-#header {
- background-color: #F3F3F3;
- border: 0;
- border-bottom: 1px solid #DDD;
- margin: 0 0 1em 0;
- padding: 1ex;
-}
-#title {
- font-size: 200%;
- font-weight: 700;
- margin: .25ex 0 .25ex 0;
- padding: 0;
+
+dt {
+ font-weight: 600;
+ margin: 0.75em 0 0.125em 0;
+}
+
+dt::after {
+ content: ": ";
+ margin-right: 0.5em;
+}
+
+hr {
+ background-color: #EEE;
+ border: 0;
+ color: gray;
+ height: 1px;
+ margin-bottom: 1.5ex;
+ margin-top: 1.5ex;
+}
+
+table {
+ border-collapse: collapse;
+ border-spacing: 1em 1em;
+ border-style: hidden;
+ border: 0;
+ margin: 0;
+}
+
+th {
+ border: 1px solid #EEE;
+ padding: 0.25em 0.5em;
+ text-align: left;
+}
+
+table tbody tr th {
+ text-align: left;
+}
+
+td {
+ border: 1px solid #EEE;
+ padding: 0.25em 0.5em;
+ vertical-align: top;
+}
+
+caption {
+ caption-side: bottom;
+ font-size: small;
+ font-style: italic;
+ margin: 0.75em 0;
+}
+
+footer {
+ color: #444;
+ font-size: small;
+}
+
+/* Specgen style */
+
+#titlebox {
+ display: inline-block;
+ max-width: 60%;
+ left: 0;
+ top: 0;
+}
+
+#metabox {
+ display: inline-block;
+ font-size: x-small;
+ font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+ position: absolute;
+ right: 0;
+ bottom: 0.25em;
+ color: #666;
+ font-style: italic;
}
+
+#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 {
+ padding-right: 0.5em;
+ text-align: right;
+}
+
+#meta th::after {
+ content: ": ";
+}
+
#subtitle {
- margin: 0 auto 2ex 0.5ex;
+ 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;
+ height: 63px;
+ margin-left: 1em;
+ margin-top: 10px;
+ width: 100px;
}
+
+#titlesep {
+ color: #EEE;
+}
+
#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;
+ 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;
}
+
#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 a {
+ text-decoration: none;
+}
+
#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;
+
+#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: 0.1em;
+ text-transform: none;
+ width: 11em !important;
}
-#menu ul.level-two li:first-child a {
- border-top: 0;
+
+#menu ul.level-three a {
+ border: 0;
+ color: #5E72A5;
+ display: block;
+ font-size: 95%;
+ margin: 0 3em 0 1.8em;
+ padding: 0.1em 0.1em 0.1em 1em;
+ width: 10em !important;
}
-#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-one a:hover,
+#menu ul.level-two a:hover,
+#menu ul.level-three a:hover {
+ color: #000;
+ text-decoration: underline;
+}
+
+#menu ul.level-one a.selected {
+ background-color: #FFF;
+ border-left: 3px solid #FFDB4C;
+ color: #000;
}
+
#menu ul.level-two a:visited {
- color: #4c3b5b;
+ color: #4C3B5B;
+}
+
+#menu ul.level-two li:first-child a {
+ border-top: 0;
}
+
#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;
-}
-#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;
+ margin-bottom: 7px;
}
+
#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;
-}
-#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;
+ margin-top: 5px;
}
+
#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 0.4em 0;
+ padding: 0 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;
-}
-div#content table {
- clear: right;
+ background-color: #FFF;
+ border: 1px solid #C4CCCC;
+ font-size: 116%;
+ font-weight: 400;
+ vertical-align: top;
}
-#body-main h1.pageheading {
- margin: 40px 0 10px;
+
+#content table {
+ clear: right;
}
+
.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;
-}
-#utility-menu dl {
- font-size: 80%;
- font-weight: 700;
- text-align: right;
-}
-#utility-menu dd {
- display: inline;
- font-weight: 400;
- margin: 0;
- padding: 0 0 0 8px;
-}
-#utility-menu dd a {
- color: #888;
- margin: 0;
- padding: 0;
-}
-#utility-menu dt {
- margin: 0;
+ border-left: 1px solid #CCC;
+ margin-left: 1em;
+ padding-left: 1em;
}
+
#footer {
- bottom: 0;
- clear: both;
- font-size: x-small;
- margin: 2em 0 0;
- padding: 0 1em 1em 1em;
- vertical-align: top;
- background-color: #F3F3F3;
- border-top: 1px solid #DDD;
-}
-#footer div {
- padding-top: 1em;
+ 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;
-}
-#content {
- font-size: 115%;
- min-height: 500px;
+ 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;
+
+#topbar {
+ line-height: 1em;
+ border-bottom: 1px solid #EEE;
}
-body {
- background: #FFF;
- color: #000;
- margin: 0;
+
+@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, #title a, #topbar a:visited, #title a:visited {
+ color: #000;
+ }
+
+ #contents {
+ display: none;
+ }
}
-:link {
- background: transparent;
- color: #00C;
+
+@media screen {
+ #topbar {
+ margin: 0.25em auto 0.25em auto;
+ padding: 0;
+ max-width: 60em;
+ position: relative;
+ }
+
+ #contentsbox {
+ color: #546E00;
+ font-size: small;
+ margin: 0 0 1.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 0.25ex 0.25ex 0;
+ }
}
-:visited {
- background: transparent;
- color: #609;
+
+#content {
+ clear: both;
+ padding: 0;
+ max-width: 60em;
+ margin-left: auto;
+ margin-right: auto;
}
-a:active {
- background: transparent;
- color: #C00;
+
+.section {
+ clear: right;
+ padding: 0 0 1.5em 0;
}
-.sec {
- border-bottom: 1px dashed #CCC;
- color: #000;
- margin: 1em 1em 0.5em 1em;
- padding: 1ex 0 0.5ex 0;
+
+.category {
+ font-size: small;
+ color: #AAA;
+ float: right;
+ vertical-align: bottom;
+ padding: 0;
+ margin: 0;
+ padding-right: 0.25em;
}
-ul, ol {
- margin-top: 0;
- padding-top: 0;
- margin: 0 0 0.5ex 0;
+
+.label {
+ font-style: italic;
+ margin-top: 0.25em;
+ color: #666;
}
-.content {
- margin-left: 2em;
- margin-right: 2em;
+
+table.index {
+ border: 0;
+ line-height: 1.5em;
+ margin-top: 2em;
}
-.label {
- font-style: italic;
- margin: 1ex 0;
+
+.index ul {
+ padding-left: 1.25em;
+ margin-left: 0;
+ list-style-type: circle;
}
-.index {
- margin-left: 1em;
+
+.index ul li {
+ padding-left: 0;
+ color: #888;
}
+
.prop {
- margin: 0;
- padding: 0;
+ margin: 0;
+ padding: 0;
}
+
.description {
- margin-bottom: 0.75em;
+ margin-top: 0;
+ margin-bottom: 0.75em;
+}
+
+.blankdesc, .blankdef {
+ border-spacing: 0;
+ margin: 0;
+ padding-left: 0;
+ padding-right: 0;
}
-.blankdesc {
- margin: 0;
- padding: 0;
+
+.blankdesc tbody tr td, .blankdef {
+ border: 0 !important;
}
-.blankterm {
- padding-right: .5em;
+
+.blankdesc td {
+ padding-right: 0.5em;
+}
+
+.blankdesc tbody tr td:first-child {
+ border-left: 1px solid #BBB;
+ text-align: right;
}
+
.terminfo, .restriction {
- border-collapse: collapse;
- border-style: hidden;
+ border-collapse: collapse;
+ border-spacing: 0;
+ font-size: small;
+ color: #666;
+ border-radius: 0;
+ border-bottom-left-radius: 6px;
+}
+
+
+table.terminfo {
+ border-top: 0;
+ border-collapse: collapse;
+ margin: -1px 0 2em 2em;
+ padding: 0.25em 0 0.25em 0;
+ float: right;
+ border-bottom: 1px solid #EEE;
+ border-left: 1px solid #EEE;
+ border-bottom-left-radius: 6px;
+ max-width: 50%;
+ line-height: 1.4em;
+ min-width: 25%;
+}
+
+table.terminfo td {
+ padding: 0 0.5em;
}
+
.restriction {
- margin: 0 0 0.5ex 0;
- padding: 0;
- vertical-align: text-top;
+ border-style: hidden;
+ 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 1ex 0 0;
+ padding: 0 0.5em;
+ text-align: right;
+ vertical-align: top;
}
+
.specterm {
- background-color: #FBFBFB;
- border: 0;
- border: 1px solid #CCC;
- margin: 0;
- padding: 0;
- margin-bottom: 1em;
+ border: 0;
+ margin: 0;
+ padding: 1em 0;
+ clear: both;
}
+
.specterm h3 {
- padding: 0.5ex;
- margin: 0;
- border-bottom: 1px solid #DDD;
- background-color: #F3F3F3;
+ display: inline-block;
+ margin-bottom: 0.25em;
+ width: 80%;
+}
+
+.spectermtype {
+ color: #888;
+ display: inline-block;
+ font-size: small;
+ font-style: italic;
+ box-sizing: border-box;
+ margin: 0;
+ padding: 0 0.25em 0 0;
+ text-align: right;
+ vertical-align: bottom;
+ width: 20%;
}
+
.spectermbody {
- padding: 0 1em 1ex 1em;
+ border-top: 1px solid #EEE;
+ padding: 0;
}
-dl {
- margin: 0;
- padding: 0;
+
+.spectermbody .description .comment > p:first-child {
+ color: #444;
+ font-style: italic;
+ margin-bottom: 0.75em;
}
-dt {
- font-weight: 700;
- margin-top: .75ex;
+
+dl {
+ margin: 0;
+ padding: 0;
}
+
hr {
- background-color: silver;
- border: 0;
- color: gray;
- height: 1px;
- margin-bottom: 1.5ex;
- margin-top: 1.5ex;
+ background-color: #EEE;
+ 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;
-}
-table {
- border-collapse: collapse;
- border-style: hidden;
- margin: 0;
-}
-th {
- vertical-align: text-top;
-}
-td, th {
- border: 1px dashed #ccc;
- padding: 0.3ex 0.5em 0.3ex 0.5em;
-}
-#meta {
- margin: 1ex 0 0 0.5ex;
- font-size: small;
-}
-#meta tr th {
- padding-left: 0;
+ margin-left: 2em;
+ margin-top: 2em;
}
-pre {
- margin: 1em 1em 1em 4em;
- padding: 0;
-}
-code {
- color: #373;
- font-family: fixed,monospace;
- font-weight: 500;
-}
-#menu li, #searchbox form, ul#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;
+
+#menu li {
+ display: inline;
}
+
.error {
- color: red;
- font-weight: bold;
+ color: #990A1B;
}
+
.warning {
- color: orange;
- font-weight: bold;
+ color: #7B6000;
}
+
.success {
- color: green;
- font-weight: bold;
-}
-
-/* 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 */
+ color: #546E00;
+}
+
+.highlight, .codehilite {
+ margin-left: 2em;
+}
generated by cgit v1.2.1 (git 2.18.0) at 2026-03-15 05:29:06 +0000