/* base
 *
 *  - determines general base color scheme for entire environment
 *
 */

body {
    /*font: 12pt sans-serif;*/
    font-size: 12pt;
    font-family: sans-serif;
    /*
    font-family:"Gill Sans", "Gill Sans MT", "Myriad Pro", Helvetica, Arial, sans-serif;
    font-family:"Gill Sans MT", Arial, sans-serif;
    font-family: "Gill Sans MT", "Myriad Pro", Helvetica, Arial, sans-serif;
    font-family: "Myriad Pro", Helvetica, Arial, sans-serif;
    font-family: Helvetica, Arial, sans-serif;
    font-family: Arial, sans-serif;
    */

    color: #bbb;
    background: #120;
    margin: 0;
    padding: 0;
}

a {
    color: lightgreen;
    text-decoration: none;
}

a:hover {
    color: lime;
    background: rgba(255,255,255, 0.1);
}


/* navigation/menu */

nav {
    font-family: 12pt sans-serif;
    margin: 0;
    padding: 0.5em;
    clear: both;        /* new horizontal swath */
    overflow: hidden;   /* prevent height collapse from any floating internals */
}

nav a {
    border-radius: 0.2em;
    padding: 0.2em 0.4em;
    /*
    border: 1px solid rgba(127,127,127, 0.5);
    */
    border: 1px solid transparent;
    opacity: 0.6;
}

nav a:hover {
    /*
    border: 1px solid lime;
    box-shadow: 0 0 0.5em white;
    */
    opacity: 1.0;
    background: rgba(127,127,127, 0.3);
    color: white;
}

/* legacy NAV used list tag for menu...
 *      display horizontally
 */

nav ul {
    float: left;
    list-style-type: none;
    margin: 0;
}

nav li {
    display: inline;
    list-style-type: none;
    margin-right: 0.5em;
}

/* element stylings */

button {
    padding: 0.1em 0.2em;
    border-radius: 0.3em;
    border: 1px solid rgba(255,255,255, 0.7);
    background: rgba(0,0,0, 0.3);
    color: lightgreen;
}

button:hover {
    border: 1px solid lime;
    color: lime;
    background: rgba(255,255,255, 0.1);
}

/* common elements */

#header {
    background: rgba(0,0,0,0.3);
    margin: 0;
    padding: 0.2em 0.5em;
    border-bottom: 1px solid black;
    /*display: none;*/
}

#header h1 {
    font: 14pt sans-serif;
    margin: 0;
    padding: 0;
}


/* typical defaults */

div#content {
    margin: 0.5em;
}


/* global classes */

.red {
    color: red;
}

.green {
    color: green;
}

.code {
    font-family: monospace;
}