/* Basic settings */
html, body, table, form {
margin: 0em;
padding: 0em;
height: 100%;
}
body {
font-family: sans-serif;
font-size: 120%;
color: #333;
margin-left: auto;
margin-right: auto;
max-width: 960px;
background-color: silver;
padding: 1em;
}
div {
background-color: white;
}
div#content {
border: 1px solid black;
min-height: 800px;
position: relative;
}
a {
color: blue;
text-decoration: none;
}
a:hover {
text-decoration: underline;
}
img {
border: none 0;
vertical-align: top;
}
table {
border-collapse: collapse;
}
.right {
text-align: right;
}
div#header {
padding: 1em;
}
/* Header table */
table#header {
width: 100%;
margin-bottom: 1em;
}
table#header td.logo {
width: 140px;
}
table#header td.main {
padding-left: 10px;
white-space: nowrap;
margin: 0px;
}
table#header td.main h1 {
margin: 0px;
font-style: normal;
font-weight: normal;
font-stretch: normal;
font-variant: normal;
}
table#header td.main h1 a {
color: black;
}
table#header td.sub {
color: #777;
border-top: solid 1px #ccc;
padding-left: 10px;
vertical-align: top;
}
table#header td.sub h2 {
font-style: normal;
font-weight: normal;
font-stretch: normal;
font-variant: normal;
font-size: 100%;
margin: 0px;
}
/* Main menu (tabs) */
ul.tabs {
list-style-type: none;
width: 100%;
border-bottom: solid 2px #ccc;
border-collapse: collapse;
display: table;
margin: 0;
}
ul.tabs li {
width: 20%;
margin-left: 5%;
display: block;
float: left;
vertical-align: bottom;
padding: 0;
color: #777;
font-size: 100%;
}
ul.tabs li a {
color: #777;
font-size: 100%;
text-decoration: none;
padding: 2px 0.75em;
}
ul.tabs li a.active {
color: #000;
background-color: #ccc;
}
ul.tabs li a:hover {
text-decoration: underline;
}
/* Ditto, table version */
table.tabs {
border-bottom: solid 2px #ccc;
border-collapse: collapse;
margin-top: 2em;
margin-bottom: 0px;
width: 100%;
}
table.tabs td {
padding: 0px 1em;
vertical-align: bottom;
}
table.tabs td a {
padding: 2px 0.75em;
color: #777;
font-size: 110%;
}
table.tabs td a.active {
color: #000;
background-color: #ccc;
}
/* Main text */
div#main {
margin-top: 2em;
margin-bottom: 2em;
margin-left: 5%;
margin-right: 5%;
padding-bottom: 10em;
}
/* Copyright section */
#copyright {
border-top: solid 2px #ccc;
font-size: 80%;
position: absolute;
height: 12em;
width: 100%;
bottom: 0;
}
/* Download table */
table.download {
border: 1px black solid;
}
table.download td {
border: 1px black solid;
padding: 0.3em;
}
table.download tbody.previous {
color: silver;
}
table.download tbody.previous a {
color: lightblue;
}
/* Example output */
span.comment {
color: red;
font-style: italic;
}
span.var {
color: #b8860b;
}
span.lit {
color: #bc8f8f;
}
span.kw {
color: #0000ff;
}
table.examples td {
padding: 0.3em;
}
/* Generator output */
div.generator {
display: none;
}
/* Release table */
tbody.previous {
color: silver;
}
tbody.previous a {
color: lightblue;
}
div.inner {
padding: 1em;
}
table.comparison {
margin-left: auto;
margin-right: auto;
border: 1px solid black;
}
table.comparison td {
border: 1px solid black;
padding: 4px;
}
table.comparison thead td.action {
text-align: center;
}
table.comparison thead td {
text-align: center;
}
table.comparison td.instance-type {
text-align: center;
}
table.comparison td.action {
text-align: left;
}
table.comparison td {
text-align: right;
}