Update documentation

This commit is contained in:
Matthias Richter 2011-11-16 14:57:43 +01:00
parent 785cdff9b9
commit 17a80e9358
3 changed files with 1790 additions and 1703 deletions

1255
doc.lua Normal file

File diff suppressed because it is too large Load Diff

2186
index.html

File diff suppressed because it is too large Load Diff

View File

@ -39,6 +39,16 @@ h2 {
border-radius: 10px; -moz-border-radius: 10px; border-radius: 10px; -moz-border-radius: 10px;
} }
#main-nav {
margin: 0;
float: right;
}
#main-nav li {
display:inline;
margin-right: 1em;
}
#nav { #nav {
width: 800px; width: 800px;
margin: 1em auto; margin: 1em auto;
@ -68,21 +78,12 @@ h2 {
color: #101010; color: #101010;
} }
.module { .outer-block {
width: 800px; width: 800px;
margin: 1em auto; margin: 1em auto;
padding: 0 0 0 1em; padding: 0 0 0 1em;
} }
.definition, .constructor {
font-weight: bold;
color: #444;
}
.definition .name, .constructor .name {
color: #000;
}
.arglist { .arglist {
color: #102040; color: #102040;
} }
@ -98,7 +99,7 @@ h2 {
margin-left: 2em; margin-left: 2em;
} }
.overview, .preamble, .function, .class, .module > .name, .caveats { h3, .preamble, .text-block, .overview, .ref-block, .tut-block, .section-block {
border: 1px solid #aaa; border: 1px solid #aaa;
border-radius: 5px; -moz-border-radius: 5px; border-radius: 5px; -moz-border-radius: 5px;
padding: .2em .5em; padding: .2em .5em;
@ -106,7 +107,7 @@ h2 {
margin: 1em .2em; margin: 1em .2em;
} }
.module > .name { h3 {
color: #050A10; color: #050A10;
font-size: 1.5em; font-size: 1.5em;
font-weight: bold; font-weight: bold;
@ -117,12 +118,28 @@ h2 {
margin-top: -1em; margin-top: -1em;
} }
.overview { .text-block, .section-block {
margin-bottom: 2em; margin-bottom: 2em;
} }
.caveats h3, .overview h3 {
h4 {
margin: 0; margin: 0;
color: #405070; color: #405070;
font-size: 1.2em;
font-weight: bold;
}
.ref-block h4 {
color: #444;
font-size: 1em;
}
.ref-block h4 .name {
color: #721;
}
.ref-block h4 .arglist {
color: #151;
} }
dl { dl {
@ -134,7 +151,7 @@ dt, dt a {
} }
dt code { dt code {
font-size: 12pt; font-size: 12pt;
color: #102040; color: #151;
} }
dd { dd {
font-weight: normal; font-weight: normal;
@ -160,7 +177,7 @@ dd {
code { code {
font-family: "Bitstream Vera Sans Mono", fixed; font-family: "Bitstream Vera Sans Mono", fixed;
font-weight: bold; font-weight: bold;
color: #105020; color: #333;
} }
pre { pre {
border: 1px solid #aaa; border: 1px solid #aaa;
@ -169,6 +186,7 @@ pre {
padding: .2em; padding: .2em;
margin: 1em 2em; margin: 1em 2em;
font-weight: normal; font-weight: normal;
max-height: 450px; overflow: auto;
} }
pre code { pre code {
font-size: 11pt; font-size: 11pt;