/* Base layout to override */
@import "layout.css";

/* Fonts */
@font-face {
    font-family: ega;
    src: url(/themes/ega-8x14-ac.woff);
}
@font-face {
    font-family: vga;
    src: url(/themes/vga-9x16-ac.woff);
}

/* General */
html, body {
    background: #000000;
}
body {
    font-family: ega, monospace;
    font-size: 17pt;
    font-size-adjust: 0.35; /* force a reasonable aspect ratio for the backup font */
    color: #e0e0e0;
}
table {
    font-size: 17pt;
}
code {
    font-family: ega, monospace;
}
em {
    color: #e0c080;
}
a {
    color: #a0c0ff;
}
a.active {
    color: #d0e0ff;
}
a.topic {
    font-weight: bold;
    color: #a0c0ff;
}
a.topicactive {
    font-weight: bold;
    color: #c0e0ff;
}

/* Headers */
h1 {
    font-size: 32pt;
    color: #e0e0e0;
}
p.header {
    font-size: 14pt;
}
h2 {
    font-size: 26pt;
    color: #e0e0e0;
}
h3 {
    font-size: 22pt;
    color: #e0e0e0;
}
h4 {
    font-size: 20pt;
    color: #e0e0e0;
}
h5 {
    font-size: 18pt;
    color: #e0e0e0;
}
p.over {
    font-size: 20pt;
}
p.under {
    font-size: 14pt;
}

/* Menus */
div.menubox {
    background-color: #202020;
}
div.submenubox {
    background-color: #000000;
    border-color: #a0a0a0;
    border-style: solid;
    border-width: thin;
}
div.menubutton {
    background-color: #101010;
    border-color: #808080;
    border-style: solid;
    border-width: thin;
}
a.menubutton {
    font-size: 18pt;
    font-weight: bold;
    color: #c0c0c0;
}
a.submenubutton {
    font-size: 17pt;
    color: #c0c0c0;
}
div.menubuttonactive {
    background-color: #303030;
    border-color: #e0e0e0;
    border-style: solid;
    border-width: thin;
}
a.menubuttonactive {
    font-size: 18pt;
    font-weight: bold;
    color: #e0e0e0;
}
a.submenubuttonactive {
    font-size: 17pt;
    color: #e0e0e0;
}

/* Content layout boxes */
div.contentbox {
    background-color: #202020;
}
div.postbox {
    background-color: #000000;
    border-color: #a0a0a0;
    border-style: solid;
    border-width: thin;
}

/* Used by imageblock shortcode */
div.imagecaption {
    font-size: 12pt;
}

/* Used by the gallery */
.thumbnail p {
    font-size: 12pt;
}