/* 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; }