body {
    background: #C0C0C0;
    color: #000000;
    font-family: "Times New Roman", Times, serif;
    font-size: 14pt;
    margin: 0;
    padding: 10px;
}
a {
    color: #0000FF;
    text-decoration: underline;
}
a:visited {
    color: #800080;
}
a:hover {
    color: #FF0000;
}
#container {
    max-width: 800px;
    margin: 0 auto;
    background: #FFFFFF;
    border: 3px outset #808080;
    padding: 15px;
}
#banner {
    background: #000080;
    color: #FFFFFF;
    text-align: center;
    padding: 10px;
    font-size: 24pt;
    font-weight: bold;
    border: 2px outset #808080;
    margin-bottom: 10px;
    font-family: "Times New Roman", Times, serif;
}
#banner small {
    font-size: 12pt;
    font-weight: normal;
}
nav {
    text-align: center;
    margin: 10px 0;
    padding: 6px;
    background: #E0E0E0;
    border: 2px inset #808080;
    font-size: 12pt;
}
nav a {
    padding: 2px 8px;
    font-weight: bold;
}
hr {
    border: 1px inset #808080;
    margin: 10px 0;
}
table {
    width: 100%;
    border: 2px outset #808080;
    margin: 10px 0;
    border-spacing: 1px;
}
th, td {
    border: 1px inset #808080;
    padding: 4px 8px;
    background: #FFFFFF;
}
th {
    background: #000080;
    color: #FFFFFF;
    font-weight: bold;
    text-align: left;
}
tr td {
    background: #FFFFFF;
}
tr.alt td {
    background: #F0F0F0;
}
.panel {
    border: 2px outset #808080;
    background: #E8E8E8;
    padding: 15px;
    margin: 15px 0;
    text-align: center;
}
.panel a {
    font-size: 16pt;
    font-weight: bold;
}
.stats {
    border: 1px inset #808080;
    background: #F4F4F4;
    padding: 10px;
    margin-top: 10px;
    font-size: 12pt;
}
h1 {
    font-size: 20pt;
    color: #000080;
    border-bottom: 2px solid #000080;
    padding-bottom: 4px;
    margin-top: 5px;
}
h2 {
    font-size: 16pt;
    color: #000080;
    margin-top: 15px;
}
h3 {
    font-size: 14pt;
    color: #000080;
    margin-top: 12px;
}
footer {
    text-align: center;
    font-size: 10pt;
    margin-top: 10px;
    padding-top: 10px;
}
.version {
    color: #808080;
    font-size: 9pt;
}
pre {
    font-family: "Courier New", Courier, monospace;
    font-size: 12pt;
}
marquee {
    font-size: 12pt;
    color: #000080;
}
.banner-logo {
    float: right;
    margin: 5px;
    border: 2px inset #808080;
}
.eraswitch-bar {
    border: 2px inset #808080;
    background: #E0E0E0;
    padding: 6px 10px;
    margin: 8px 0;
    font-size: 10pt;
    text-align: center;
}
.era-btn {
    background: #C0C0C0;
    border: 2px outset #808080;
    padding: 2px 8px;
    cursor: pointer;
    font-size: 10pt;
    font-family: "Times New Roman", Times, serif;
    color: #000;
    margin: 2px;
}
.era-btn:hover { background: #E0E0E0; }
.era-btn:active { border-style: inset; }
.screenshot {
    width: 120px;
    height: 90px;
    object-fit: cover;
    border: 1px inset #808080;
    display: block;
}
.platform-grid {
    width: 100%;
    border: 2px outset #808080;
    margin: 10px 0;
}
.platform-cell {
    width: 20%;
    text-align: center;
    padding: 4px;
    border: 1px inset #808080;
    vertical-align: middle;
    background: #FAFAFA;
}
.platform-cell a {
    text-decoration: none;
    font-weight: bold;
    display: block;
    font-size: 10pt;
}
.platform-cell a:hover {
    background: #E0E0FF;
}
.platform-photo {
    width: 120px;
    height: 90px;
    object-fit: cover;
    border: 1px inset #808080;
    display: block;
    margin: 0 auto 2px auto;
}