body
{
    background-image: url(galaxy-dot.jpg);
    background-color: black;
    background-position: -100px -30px;
    background-repeat: no-repeat;
    background-attachment: fixed;

    position: relative;
    margin: 0;
    padding: 0;
}

div#menu
{
    position: fixed;
    top: 4ex; left: 0; width: 11em;
    margin-top: 4ex;
}

div#menu a
{
    background-image: url(galaxy-dark.jpg);
    background-color: #333333;
    background-position: -100px -30px;
    background-repeat: no-repeat;
    background-attachment: fixed;

    display: block;
    text-align: right;
    font-weight: bold;
    font-size: 125%;
    font-family: sans-serif; 
    padding: 0.5ex 0.5ex;
    margin-bottom: 0.3ex;
    text-decoration: none;
    color: #FFC;
    width: 100%;
}

div#menu a:hover
{
    background-image: url(galaxy-bright.jpg);
    background-color: #666666;
    background-position: -100px -30px;
    background-repeat: no-repeat;
    background-attachment: fixed;

    color: #FFDF30;
}

div#menu ul.submenu
{
    display: none;

    margin-left: 0;
    padding-left: 0;
    padding-right: 1.5em;
}

div#menu ul.submenu a
{
    font-size: 100%;
}

div#menu ul.submenu ul.submenu a
{
    font-size: 80%;
}

div#menu ul
{
    padding-left: 0.3em;
    margin-left: 0;
}

div#menu li
{
    list-style-type: none;
    margin-bottom: -10ex;
    padding-bottom: 10ex;
}

div#menu li:hover > ul.submenu
{
    display: block;
}

div#content
{
    background-image: url(galaxy-blue.jpg);
    background-color: #0c0c33;
    background-position: -100px -30px;
    background-repeat: no-repeat;
    background-attachment: fixed;
    
    position: absolute;
    top: 2ex; left: 12em; right: 2ex;
    color: #EED;
    padding-left: 0;
    padding-top: 0;
    padding-bottom: 1ex;
    border: solid #FFCC99;
}

div#content a
{
    color: white;
}

div#content a
{
    color: white;
}

div#content a:visited
{
    color: #C0C0FF;
}

div#content a:hover
{
    color: yellow;
}

div#content p
{
    text-align: justify;
}

div#content > *
{
    margin-left: 7%;
    margin-right: 5%;
}

div#content h1
{
    background-color: #304080;
    border: thin solid white;
    margin-top: 0;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 2ex;
    padding-top: 0.5ex;
    padding-left: 3%;
    padding-right: 0em;
    padding-bottom: 0.3ex;
}

div#content * + h1
{
    margin-top: 3ex;
}

div#content h2
{
    margin-left: 3%;
}

div#content h3
{
    margin-left: 5%;
}


table.centertable
{
    margin-left: auto;
    margin-right: auto;
}

div.center
{
    text-align: center;
}

table.info th
{
    border-style: outset;
    border-width: thin;
}
table.info td
{
    border-style: inset;
    border-width: thin;
}

table.info td
{
    text-align: center;
}

img.black
{
    display: none;
}