diff options
Diffstat (limited to 'gray.css')
-rw-r--r-- | gray.css | 267 |
1 files changed, 267 insertions, 0 deletions
diff --git a/gray.css b/gray.css new file mode 100644 index 0000000..12526a9 --- /dev/null +++ b/gray.css @@ -0,0 +1,267 @@ +/* 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; +} |