body { margin: 0pt; padding: 0pt; }

a { margin: 0pt; border-collapse: collapse; }
a:link { color: #600; text-decoration: underline; background-color: transparent; }
a:visited { color: #600; text-decoration: underline; background-color: transparent; }
a:hover { color: white; background-color: #773333; border: 0pt; margin: 0pt; }
a:active { color: white; background-color: #333377; border: 0pt; margin: 0pt; }

a.no-highlight:hover { background-color: inherit; }
a.no-highlight:active { background-color: inherit; }

span.back-to-top-link { font-size: 75%; }

div.header { margin: 0pt; padding: 0pt; width: 100%; background-color: #EEE; border-bottom: 2pt solid #999; border-top: 0pt; }
div.header h1 { font-size: x-large; font-weight: bold; text-align: center; padding: 5pt; margin: 0pt; }

div.body-contents { padding: 5pt; margin-left: 10%; margin-right: 10%; }

.body-contents h1 { font-size: large; font-weight: bold; text-align: left; padding: 1em 0em 1em 0em; margin: 0pt; }
.body-contents h2 { font-size: medium; font-weight: bold; text-align: left; padding: 1em 0em 1em 0em; margin: 0pt; }

.body-contents pre { margin-left: 1em; margin-right: 1em; padding: 3pt; background-color: #F4F4F4; border: 1.5pt solid #DDD; overflow: auto; }

.body-contents code { background-color: #F4F4F4; }

div.sidebar { float: right; background-color: #EEF; border-left: 2pt solid #99D; border-bottom: 2pt solid #99D; margin-left: 2em; margin-bottom: 1em; min-width: 15%; padding: 5pt; }

div.sidebar li { display: list-item; list-style: square; }
div.sidebar ul { padding: 0pt 0pt 0pt 1em; margin: 0 0 1em; }

li.news-item { display: list-item; list-style: circle; margin: 0em 0em 1ex 0em; border-bottom: .75pt dotted #999; }

ul.news-links { background-color: #DED; border: 1pt solid #9D9; padding: 5pt; word-wrap: break-word; text-align: justify; clear: right; }
ul.news-links li { display: inline; list-style: none; margin-right: 5pt; }

/* for the platform-table page */
table.port-table { border: 1pt solid black; border-collapse: collapse; background-color: white; font-size: .75em; }
table.port-table th { border: 1pt solid #999; background-color: #DED; font-weight: bold; }
table.port-table td { height: 4em; width: 4em; vertical-align: middle; text-align: center; padding: 0; }
.not-available { background-color: #A00; border: 1pt solid #999; }
.in-progress { background-color: #DD2; border: 1pt solid #999; }
.port-table .in-progress a:hover { background-color: #FF2 }
.in-progress:hover { background-color: #FF2 }
.not-applicable { background-color: #555; border: 1pt solid #999; }
.available { background-color: #0E0; border: 1pt solid #999; }
.port-table .available a:hover { background-color: #0F0; }
.available:hover { background-color: #0F0; }

.port-table a {display: table; width: 100%; height: 100%; text-decoration: none;}
.port-table a span {display: table-cell; vertical-align: middle; text-align: center;}

.port-table a:link { color: #000; }
.port-table a:visited { color: #222; }
.key-blob th { height: 3em; width: 3em; border: 1pt solid #999; }
.key th { font-weight: bold; width: 3em; text-align: left; }
.processor-header th { text-align: center; font-size: 100%; }
.big-height { padding: 0; margin: 1px; background-color: inherit; }
.key a { cursor: pointer; }
.system-header th { text-align: left; padding-right: 5pt; }
.key td { padding: .5ex; padding-left: 1em; min-height: 8em; border-left: 1pt solid #999; }
.key h1 { font-size: 100%; font-weight: bold; padding: 0; }
.left-floater { float: left; margin-right: 2em; }
.key { border: 1pt solid #999; background-color: #EEE; border-collapse: collapse; clear: right; font-size: .75em; }
div.key-entry { line-height: 250%; }
div.value-blob { display: inline; vertical-align: top; }
.hide-me { display: none; }

table.build-command-table { margin-top: 1em; margin-bottom: 1em; }
table.build-command-table th { font-weight: bold; font-size: small; text-align: left; padding: 3pt 1em 3pt 0pt; }
table.build-command-table td { padding: 3pt 0pt 3pt 0pt; }