/* @ */

@media screen {
 body {
  margin: 5em;
 }
}

@media all and (max-width: 800px) {
 body {
  margin: 1em;
 }
}

/* plain */

html {
}

body {
 font-family: sans-serif,monospace,serif;
 font-size: 1em;
 line-height: 1.15em;
}

h1, h2 {
}

table {
}

img {
}

a {
 color: #222;
}

a:visited {
 color: #444;
}

p {
}

em {
 font-style: normal;
}

ul {
 padding-left: 0;
}

li {
 list-style-type: none;
}

/* Classes */

div.main {
 max-width: 45em;
}

.redundant {
 display: none;
}

.discreet {
 display: none;
}

ul.menu {
 display: inline;
 margin: 0em; /* IE */
 padding: 0em; /* FF */
}

.menu li {
 list-style-type: none;
 display: inline;
 margin: 0em 0.5em 0em 0em;
 font-weight: normal;
}

.menu li a {
 color: #333333;
}

ul.dindex {
}

.dindex li {
}

a.external {
 color: #888;
}

/* hsc3/sw-69 */
span.alias {
 color: #aaa;
 font-size: 1.1em;
}

/* Card index (table) */

table.rd-el {
 margin: 1em 0em;
}

col.rd-el-lhs {
 width: 2em;
}

col.rd-el-rhs {
}

div.rhs {
 margin: 2em 0em;
}

tr {
 vertical-align: top;
}

td.lhs, td.lhs a {
 color: #999;
}

/* md */

div.md, div.md pre, div.md pre code {
 margin: 0em;
 padding: 0em;
}

div.md p {
 margin: 0em 0em 1em 0em;
}

div.md pre code {
 font-family: sans-serif,monospace,serif;
}

div.md blockquote {
 background-color: #F0F8FF;     /* alice blue; maya blue = #73C2FB*/
 color: #000000;                /* black */
 font-size: 0.8em;
 margin: 0em 0em 1em 0em;
 padding: 0em 1em;
}

/* footer */

.footer {
 clear: both;
 margin-top: 5em;
 font-size: 0.75em;
 color: #999;
 background-color: #F0F8FF;     /* alice blue */
}

.footer hr {
 display: none;
}

.footer a , .footer a:visited {
}

/*
ul.brief li {
 display: inline;
 list-style-type: none;
 letter-spacing: 0.05em;
 line-height: 1.5em;
 padding: 0px 4px 0px 0px;
 margin: 0px;
}

ul.brief li a {
 text-decoration: none;
 padding: 0px 2px;
}
*/

/* areas */

.rf, .rf:visited {
 background-color: #c80815;     /* red (venetian) */
 color: #ffffff;                /* white */
}

.sw, .sw:visited {
 background-color: #005b99;     /* blue (swedish azure) */
 color: #ffffff;                /* white */
}

.uc, .uc:visited {
 background-color: #009246;     /* green (fern green)*/
 color: #ffffff;                /* white */
}

.ut, .ut:visited {
 background-color: #fcd116;      /* yellow (candlelight approx.) */
 color: #000000;                 /* black */
}

.tn, .tn:visited {
 background-color: #ff6600;     /* orange (safety) */
 color: #ffffff;                /* white */
}

.xt, .xt:visited {
 background-color: #00B7EB;     /* cyan (subtractive primary) */
 color: #000000;                /* black */
}

.rd, .rd:visited {
 background-color: #704214;     /* brown (sepia)*/
 color: #ffffff;                /* white */
}