724 lines
10 KiB
CSS
724 lines
10 KiB
CSS
/* BEGIN RESET
|
|
|
|
Copyright (c) 2010, Yahoo! Inc. All rights reserved.
|
|
Code licensed under the BSD License:
|
|
http://developer.yahoo.com/yui/license.html
|
|
version: 2.8.2r1
|
|
*/
|
|
html {
|
|
color: #FFF;
|
|
background: #FFF;
|
|
}
|
|
body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,button,textarea,p,blockquote,th,td {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
table {
|
|
border-collapse: collapse;
|
|
border-spacing: 0;
|
|
}
|
|
fieldset,img {
|
|
border: 0;
|
|
}
|
|
address,caption,cite,code,dfn,em,strong,th,var,optgroup {
|
|
font-style: inherit;
|
|
font-weight: inherit;
|
|
}
|
|
del,ins {
|
|
text-decoration: none;
|
|
}
|
|
li {
|
|
list-style: bullet;
|
|
margin-left: 20px;
|
|
}
|
|
caption,th {
|
|
text-align: left;
|
|
}
|
|
h1,h2,h3,h4,h5,h6 {
|
|
font-size: 100%;
|
|
font-weight: bold;
|
|
}
|
|
q:before,q:after {
|
|
content: "";
|
|
}
|
|
abbr,acronym {
|
|
border: 0;
|
|
font-variant: normal;
|
|
}
|
|
sup {
|
|
vertical-align: baseline;
|
|
}
|
|
sub {
|
|
vertical-align: baseline;
|
|
}
|
|
legend {
|
|
color: #000;
|
|
}
|
|
input,button,textarea,select,optgroup,option {
|
|
font-family: inherit;
|
|
font-size: inherit;
|
|
font-style: inherit;
|
|
font-weight: inherit;
|
|
}
|
|
input,button,textarea,select {
|
|
font-size:100%;
|
|
}
|
|
/* END RESET */
|
|
|
|
/* LDoc styles customized for Callisto
|
|
* Original style taken from Lua4z */
|
|
|
|
@media screen {
|
|
html {
|
|
margin: 0;
|
|
background-color: #202020; /* Fills the page */
|
|
position: relative; /* Fix for absolute positioning */
|
|
}
|
|
body {
|
|
position: relative;
|
|
}
|
|
}
|
|
|
|
body {
|
|
margin: 0;
|
|
font-size: 1em;
|
|
line-height: 1.5em;
|
|
}
|
|
|
|
#container {
|
|
position: relative;
|
|
padding: 1em;
|
|
background-color: #181818;
|
|
}
|
|
|
|
code,
|
|
tt,
|
|
span.parameter {
|
|
font-family: "Andale Mono", "Lucida Console", monospace;
|
|
background-color: #202020;
|
|
}
|
|
|
|
span.parameter:after {
|
|
content: ":";
|
|
}
|
|
|
|
span.types:before {
|
|
content: "(";
|
|
}
|
|
|
|
span.types:after {
|
|
content: ")";
|
|
}
|
|
|
|
.type {
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
p,
|
|
td,
|
|
th {
|
|
font-size: 1em;
|
|
}
|
|
|
|
p,
|
|
ul {
|
|
margin: 1em 0 0 0;
|
|
}
|
|
|
|
strong {
|
|
font-weight: bold;
|
|
}
|
|
|
|
em,
|
|
var {
|
|
font-style: italic;
|
|
}
|
|
|
|
var {
|
|
color: #606060;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 2em;
|
|
line-height: 1.2em;
|
|
font-weight: bold;
|
|
margin: 0.25em 0 0.5em 0;
|
|
text-align: center;
|
|
}
|
|
|
|
h2,
|
|
h3,
|
|
h4 {
|
|
margin: 1em 0 1em 0;
|
|
}
|
|
|
|
h2 {
|
|
font-weight: normal;
|
|
font-size: 1.5em;
|
|
padding: 0.25em;
|
|
background-color: #202020;
|
|
border-radius: 0.25em;
|
|
border: 1px solid #A0A0A0;
|
|
}
|
|
|
|
h3 {
|
|
font-size: 1.2em;
|
|
}
|
|
|
|
h4 {
|
|
font-size: 1em;
|
|
}
|
|
|
|
a:link {
|
|
font-weight: normal;
|
|
color: #004080;
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:visited {
|
|
font-weight: normal;
|
|
color: #006699;
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:link:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
hr {
|
|
color:#cccccc;
|
|
background: #00007F;
|
|
height: 1px;
|
|
}
|
|
|
|
blockquote {
|
|
padding-left: 3em;
|
|
border-left: 1px solid #CCCCCC;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: square;
|
|
}
|
|
|
|
li {
|
|
padding-left: 1em;
|
|
}
|
|
|
|
p.name {
|
|
font-family: "Andale Mono", monospace;
|
|
padding-top: 1em;
|
|
}
|
|
|
|
pre.example,
|
|
pre {
|
|
background-color: #202020;
|
|
border: 1px solid #CCCCCC;
|
|
padding: 0.5em;
|
|
margin: 1em 0 0.5em 0;
|
|
font-family: "Andale Mono", "Lucida Console", monospace;
|
|
overflow: auto;
|
|
}
|
|
|
|
table.index {
|
|
border: 1px solid #00007F;
|
|
}
|
|
|
|
table.index td {
|
|
text-align: left;
|
|
vertical-align: top;
|
|
}
|
|
|
|
#product a {
|
|
outline: 0
|
|
}
|
|
|
|
#product {
|
|
text-align: center;
|
|
margin-top: 0.5em;
|
|
}
|
|
|
|
#product_name {
|
|
font-size: 2em;
|
|
margin: 0.5em 0 0.5em 0;
|
|
font-weight: bold;
|
|
}
|
|
|
|
#main {
|
|
background-color: #181818; /* was #F0F0F0 */
|
|
}
|
|
|
|
#navigation {
|
|
margin: 1em -1em 1em -1em;
|
|
background-color: #181818;
|
|
overflow: visible;
|
|
border-bottom: 1px solid #CCCCCC;
|
|
}
|
|
|
|
#navigation h2 {
|
|
background-color: #181818;
|
|
font-size: 1em;
|
|
color: #F0F0F0;
|
|
text-align: left;
|
|
padding: 0.5em 0.5em 0.5em 1em;
|
|
border: none;
|
|
border-radius: 0;
|
|
margin: 0;
|
|
}
|
|
|
|
#navigation ul {
|
|
list-style-type: none;
|
|
margin: 0;
|
|
}
|
|
|
|
#navigation ul ul {
|
|
margin-top: 0.5em;
|
|
}
|
|
|
|
#navigation li {
|
|
display: block;
|
|
border-top: 1px solid #CCCCCC;
|
|
padding: 0.5em 0.5em 0.5em 1em;
|
|
margin: 0;
|
|
}
|
|
|
|
#navigation li li {
|
|
border: none;
|
|
padding: 0 0 0.5em 1em;
|
|
}
|
|
|
|
#content {
|
|
padding: 0;
|
|
background-color: #181818;
|
|
}
|
|
|
|
#footer {
|
|
margin: 1em;
|
|
color: #909090;
|
|
}
|
|
|
|
/* Mark item as Lua4z-only */
|
|
span.lua4z-only {
|
|
position: relative;
|
|
}
|
|
|
|
span.lua4z-only:before {
|
|
content: "z";
|
|
line-height: 1.3em;
|
|
font-size: 1em;
|
|
float: right;
|
|
display: inline-block;
|
|
text-align: center;
|
|
height: 1.5em;
|
|
width: 1.5em;
|
|
font-weight: bold;
|
|
background-color: #00007F;
|
|
border-radius: 0.75em;
|
|
color: #FFFFFF;
|
|
}
|
|
|
|
/* If the span is a child of a paragraph, do not float right */
|
|
p > span.lua4z-only:before {
|
|
float: none;
|
|
}
|
|
|
|
span.lua4z-only:hover {
|
|
cursor: default;
|
|
}
|
|
|
|
span.module-std:before,
|
|
span.module-ext:before {
|
|
color: #909090;
|
|
float: right;
|
|
}
|
|
|
|
span.module-std:before {
|
|
content: "std";
|
|
}
|
|
|
|
span.module-ext:before {
|
|
content: "ext";
|
|
}
|
|
|
|
/* Introduce curved border around body */
|
|
@media only screen and (min-width: 30em) {
|
|
body {
|
|
margin: 1em;
|
|
}
|
|
#container {
|
|
border: solid #A0A0A0 1px;
|
|
border-radius: 1em;
|
|
box-shadow: 3px 3px 5px rgba(0, 0, 0, 0.5);
|
|
}
|
|
}
|
|
|
|
/* Pop out navigation as left sidebar */
|
|
@media only screen and (min-width: 50em) {
|
|
body {
|
|
margin-left: 18em;
|
|
}
|
|
#navigation {
|
|
position: fixed;
|
|
z-index: 10;
|
|
top: 0;
|
|
left: 0;
|
|
padding: 0;
|
|
margin: 0;
|
|
width: 17em;
|
|
overflow-y: scroll;
|
|
-webkit-overflow-scrolling: touch; /* Enable inertial scrolling on iOS */
|
|
height: 100vh;
|
|
}
|
|
#navigation h2 {
|
|
border: none;
|
|
margin: 0;
|
|
border-radius: 0;
|
|
}
|
|
#navigation > ul > li:first-child {
|
|
border-top: none;
|
|
}
|
|
#navigation * {
|
|
-webkit-transform: translate3d(0, 0, 0);
|
|
}
|
|
}
|
|
|
|
/* Railroad syntax diagram heading */
|
|
p.ebnf-symbol {
|
|
font-size: 1.5em;
|
|
margin: 1em 0 1em 0;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Limit maximum width of body */
|
|
@media only screen and (min-width: 80em) {
|
|
body {
|
|
max-width: 60em;
|
|
}
|
|
}
|
|
|
|
/* Center body on wide screens, pop out sidebars */
|
|
@media only screen and (min-width: 100em) {
|
|
body {
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
.sidebar {
|
|
display: block;
|
|
float: right;
|
|
clear: both;
|
|
top: -2em;
|
|
padding: 0.5em;
|
|
position: relative;
|
|
margin: 0 -19em 0 0 ;
|
|
width: 15em;
|
|
background-color: #EFF2B9;
|
|
border: solid #A0A0A0 1px;
|
|
box-shadow: 3px 3px 5px rgba(0, 0, 0, 0.5);
|
|
}
|
|
}
|
|
|
|
a[href] {
|
|
color: #005faf;
|
|
}
|
|
|
|
@media print {
|
|
body {
|
|
font-size: 11pt;
|
|
}
|
|
|
|
a {
|
|
color: #F0F0F0;
|
|
}
|
|
|
|
a[href] {
|
|
font-weight: bold;
|
|
color: #F0F0F0;
|
|
}
|
|
|
|
h2 {
|
|
border: none;
|
|
border-radius: 0;
|
|
padding: 0;
|
|
border-bottom: 0.5pt solid #CCCCCC;
|
|
padding-bottom: 0.2em;
|
|
}
|
|
|
|
#main {
|
|
background-color: #ffffff;
|
|
border-left: 0px;
|
|
}
|
|
|
|
#container {
|
|
}
|
|
|
|
#navigation {
|
|
display: none;
|
|
}
|
|
|
|
pre {
|
|
border-width: 0.5pt;
|
|
}
|
|
|
|
pre.example {
|
|
font-family: "Andale Mono", monospace;
|
|
font-size: 10pt;
|
|
page-break-inside: avoid;
|
|
}
|
|
|
|
span.lua4z-only:before {
|
|
color: #000000;
|
|
border: 1px solid #000000;
|
|
}
|
|
}
|
|
|
|
table.module_list,
|
|
table.function_list {
|
|
border: 1px solid #CCCCCC;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
table.module_list td,
|
|
table.function_list td {
|
|
border: 1px solid #CCCCCC;
|
|
padding: 0.5em;
|
|
}
|
|
|
|
table.module_list td.name {
|
|
background-color: #202020;
|
|
min-width: 14em;
|
|
}
|
|
|
|
table.function_list td.name {
|
|
background-color: #202020;
|
|
min-width: 14em;
|
|
}
|
|
|
|
table.module_list td.summary,
|
|
table.function_list td.summary {
|
|
width: 100%;
|
|
}
|
|
|
|
dl.table dt,
|
|
dl.function dt {
|
|
border-top: 1px solid #CCCCCC;
|
|
padding-top: 1em;
|
|
font-size: 1.5em;
|
|
}
|
|
|
|
/* Suppress top border and top padding on first item */
|
|
dl.table dt:first-child,
|
|
dl.function dt:first-child {
|
|
border-top: none;
|
|
padding-top: 0;
|
|
}
|
|
|
|
dl.table dd,
|
|
dl.function dd {
|
|
padding-bottom: 1em;
|
|
margin: 0.5em 0 0 1em;
|
|
}
|
|
|
|
dl.table h3,
|
|
dl.function h3 {
|
|
font-size: 1em;
|
|
}
|
|
|
|
ul.nowrap {
|
|
overflow: auto;
|
|
}
|
|
|
|
/* Stop sublists from having initial vertical space */
|
|
ul ul,
|
|
ol ul,
|
|
ol ol,
|
|
ul ol {
|
|
margin-top: 0;
|
|
}
|
|
|
|
/* Styles for prettification of source */
|
|
pre .comment {
|
|
color: #B0B0B0;
|
|
}
|
|
|
|
pre .constant {
|
|
color: #a8660d;
|
|
}
|
|
|
|
pre .escape {
|
|
color: #844631;
|
|
}
|
|
|
|
pre .keyword {
|
|
color: #2239a8;
|
|
font-weight: bold;
|
|
}
|
|
|
|
pre .library {
|
|
color: #0e7c6b;
|
|
}
|
|
|
|
pre .marker {
|
|
color: #512b1e;
|
|
background: #fedc56;
|
|
font-weight: bold;
|
|
}
|
|
|
|
pre .string {
|
|
color: #2da250;
|
|
}
|
|
|
|
pre .number {
|
|
color: #f8660d;
|
|
}
|
|
|
|
pre .operator {
|
|
color: #2239a8;
|
|
font-weight: bold;
|
|
}
|
|
|
|
pre .preprocessor,
|
|
pre .prepro {
|
|
color: #a33243;
|
|
}
|
|
|
|
pre .global {
|
|
color: #005faf;
|
|
}
|
|
|
|
pre .prompt {
|
|
color: #558817;
|
|
}
|
|
|
|
pre .url {
|
|
color: #272fc2;
|
|
text-decoration: underline;
|
|
}
|
|
|
|
/* Markdown content style */
|
|
|
|
table {
|
|
width: 100%;
|
|
border-collapse: collapse;
|
|
margin: 1em 0 1em 0;
|
|
}
|
|
|
|
td,
|
|
th,
|
|
caption {
|
|
border: 1px solid #CCCCCC;
|
|
padding: 0.5em;
|
|
}
|
|
|
|
caption {
|
|
background-color: #D0D0FF;
|
|
border-bottom: none;
|
|
}
|
|
|
|
td {
|
|
vertical-align: top;
|
|
}
|
|
|
|
th {
|
|
vertical-align: bottom;
|
|
background-color: #EEEEFF;
|
|
}
|
|
|
|
/* Miscellaneous */
|
|
|
|
span.highlight {
|
|
background-color: #FFFF00;
|
|
padding: 0 0.1em 0 0.1em;
|
|
}
|
|
|
|
span.annotation {
|
|
background-color: #00FF00;
|
|
padding: 0 0.1em 0 0.1em;
|
|
}
|
|
|
|
/* License styles */
|
|
|
|
/* The license.md source file contains the empty element */
|
|
/* <div class="license-start"></div> */
|
|
/* to trigger the following style */
|
|
/* Indent paragraphs in license */
|
|
.license-start ~ p {
|
|
margin-left: 3em;
|
|
}
|
|
/* <div class="license-end"></div> */
|
|
/* resets the indent */
|
|
.license-end ~ p {
|
|
margin-left: 0;
|
|
}
|
|
|
|
span.license-clause-marker,
|
|
span.license-sub-clause-marker,
|
|
span.license-recital-marker {
|
|
float: left;
|
|
}
|
|
|
|
span.license-clause-marker + span,
|
|
span.license-recital-marker + span {
|
|
display: block;
|
|
margin-left: 3em;
|
|
}
|
|
|
|
h2 span.license-clause-marker + span,
|
|
h3 span.license-clause-marker + span {
|
|
margin-left: 2.5em;
|
|
}
|
|
|
|
span.license-sub-clause-marker {
|
|
float: left;
|
|
margin-left: 3em;
|
|
}
|
|
|
|
span.license-sub-clause-marker + span {
|
|
display: block;
|
|
margin-left: 6em;
|
|
}
|
|
|
|
@font-face {
|
|
font-family: "Inter";
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
font-display: swap;
|
|
src: url("Inter-Regular.woff2?v=3.19") format("woff2"),
|
|
}
|
|
@font-face {
|
|
font-family: "Inter";
|
|
font-style: italic;
|
|
font-weight: 400;
|
|
font-display: swap;
|
|
src: url("Inter-Italic.woff2?v=3.19") format("woff2"),
|
|
}
|
|
|
|
@font-face {
|
|
font-family: "Inter";
|
|
font-style: normal;
|
|
font-weight: 700;
|
|
font-display: swap;
|
|
src: url("Inter-Bold.woff2?v=3.19") format("woff2"),
|
|
}
|
|
@font-face {
|
|
font-family: "Inter";
|
|
font-style: italic;
|
|
font-weight: 700;
|
|
font-display: swap;
|
|
src: url("Inter-BoldItalic.woff2?v=3.19") format("woff2"),
|
|
}
|
|
|
|
body,
|
|
span.annotation {
|
|
font-family: "Inter";
|
|
}
|
|
|
|
.name a {
|
|
color: #F0F0F0;
|
|
font-weight: bold;
|
|
}
|
|
|
|
h2 > a[href],
|
|
#navigation h2 {
|
|
color: #F0F0F0;
|
|
font-weight: bold;
|
|
}
|