li>p {
display: inline;
}
body {
margin-left: 12.5em;
margin-right: 2em;
padding: 0;
background-color: #fff;
color: black;
}
div.paper {
background-color: #fff;
color: black;
margin: 1em;
/*margin-left: 12.5em;*/
}
iframe {
background-color: #aaa;
}
div.content {
padding: 1em;
padding-right: 3em;
padding-left: 2em;
max-width: 45em;
}
p {
line-height: 1.2em;
}
h1 {
margin-top: 0em;
}
h1, h2, h3, h4{
color: #112266;
}
h1 {
font-size: 2em;
}
h2 {
font-size: 1.5em;
}
h3 {
font-size: 1.2em;
}
h4 {
font-size: 1.0em;
}
dl {
margin-top: 1em;
margin-bottom: 1em;
}
div.expander {
border: 1px solid #bbb;
}
div.expander_title {
/*border-bottom: 0px solid #aaa;*/
}
div.expander_content {
margin-left: 2em;
display: none;
padding-bottom: 1em;
}
div.expander_content dl{
margin: 0;
padding: 0;
}
table th {
font-weight: normal;
background-color: #ccc;
text-align: left;
}
span.component {
background-color: #060;
padding-left: 0.5em;
padding-top: 0.1em;
padding-bottom: 0.1em;
display: block;
float: left;
overflow: hidden;
width: 4em;
color: white;
border: 1px solid gray;
border: 1px solid white;
clear: both;
}
span.type {
display: block;
background-color: #006;
padding-left: 0.5em;
clear: both;
padding-top: 0.1em;
padding-bottom: 0.1em;
float: left;
overflow: hidden;
width: 4em;
color: white;
border: 1px solid white;
}
.nopad {
margin :0;
padding:0;
}
td.component {
background-color: #060;
padding-left: 0.5em;
padding-top: 0.1em;
padding-bottom: 0.1em;
overflow: hidden;
width: 4em;
color: white;
border: 1px solid white;
}
td.type {
background-color: #006;
padding-left: 0.5em;
padding-top: 0.1em;
padding-bottom: 0.1em;
overflow: hidden;
width: 4em;
color: white;
border: 1px solid white;
}
span.spacer {
float: left;
display: block;
overflow: hidden;
width: 0.2em;
}
span.name {
width: 100%;
display: block;
overflow: hidden;
border-top: 1px solid #ccc;
}
span.string {
color: #060;
}
span.function {
color: #006;
}
span.paren {
color: #555;
}
span.NULL {
color: #555;
}
pre.authors {
font-size: 100%;
font-family: FreeSans, Verdana, sans-serif;
position: relative;
top: -2em;
}
img.BablFish {
float: right;
position: relative;
top: -8px;
border: none;
}
td.op_name {
padding-top: 2.5em;
padding-bottom: 1.0em;
font-weight: bold;
font-size: 120%;
}
td.op_description {
padding-bottom: 1em;
}
td.prop_type {
color: gray;
font-style: italic;
}
td.prop_name {
font-weight: bold;
}
td.prop_blurb {
padding-bottom: 0.5em;
}
@media screen {
body {
font-family: FreeSans, Verdana, sans-serif;
max-width: 45em;
}
a {
text-decoration: none;
}
pre {
overflow: auto;
}
h1 {
display: none;
}
div#toc {
background-color: #333;
position: absolute;
position: fixed;
width: 12em;
top: 0;
left: 0;
z-index: 2;
height: 100%;
overflow: auto;
float: left;
padding-top: 0.5em;
}
div#toc ul {
padding-top: 0em;
padding-left: 0em;
margin: 0;
}
div#toc li {
display: block;
padding-right: 1em;
}
div#toc li a,
div#toc div a{
display: block;
padding-left: 1em;
padding-right: 1em;
color: #fff;
}
div#toc li a:hover,
div#toc div a:hover{
color: #fff;
background-color: #445;
}
div#toc li a:active,
div#toc div a:active{
color: #000;
background-color: #445;
}
div#toc .toclevel1 {
padding-top: 0.5em;
padding-left: 0em;
}
div#toc .toclevel2 {
padding-left: 1em;
}
#toctitle {
display: none;
}
div.paper {
max-width: 45em;
-moz-border-radius: 1em;
}
div.content {
}
div.print {
display: none;
}
ul.crucible {margin:0; padding:0}
ul.crucible li{display: inline;}
}
h2#gegl {
display: none;
}
@media print {
body {
background-color: none;
font-family: FreeSans, Verdana, sans-serif;
}
a, em {
/* XXX: work-around for rendering bug, should investigate whether
* this issue is fixed in the latest gecko
*/
padding-right: 3em;
padding-left: 1em;
}
a {
text-decoration: none;
}
div#toc ul {
padding-left: 0em;
float: right;
margin: 0;
}
div#toc li {
display: block;
padding-right: 1em;
}
div#toc li a{
display: block;
padding-left: 1em;
padding-right: 1em;
color: #fff;
}
div#toc li a:hover {
color: #fff;
background-color: #333;
}
div#toc ul {
padding-left: 0em;
float: none;
margin: 0;
margin-left: 1em;
}
div#toc {
position: absolute;
width: 200px;
top: 0;
left: 2em;
padding-top: 2em;
z-index: 2;
}
div#toc ul {
margin-left: 0;
}
div#toc li a {
color : #000;
}
div#toc h2 {
margin: 0;
padding: 0;
}
h1 {
margin-left: -0.75em;
}
h2 {
padding-top: 4em;
margin-left: -1em;
}
h3 {
padding-top: 4em;
margin-left: -1em;
}
span.component {
background-color: #7f7;
color: black;
}
span.type {
background-color: #aaf;
color: black;
}
table th {
font-weight: bold;
}
div.print_title {
position: absolute;
top: 3em;
padding-left: 2em;
margin-left: 280px;
}
div.paper {
padding-top: 4em;
}
div.graphic {
display: none;
background-color: #bbf;
height: 100%;
}
div.graphic img {
position: absolute;
bottom: 0;
left: 0;
}
div.screen {
display: none;
}
}