.LastUpdate {
    text-align:          right;
}


.overview {
    text-align:          center;
}


.navigator {
    text-align:          center;
}


.center {
    text-align:          center;
}


.right {
    text-align:          right;
}


.foot {
    text-align:          center;
}


BODY {
    padding-left:        10px; 
    padding-right:       10px; 
    text-decoration: none;
    background-color:    #fffff4;
}

H1 {
    border:              solid; 
    border-width:        thin; 
    padding:             10px; 
    background:          #eeeeee; 
    text-align:          center;
}

DIV.BOX {
    border:              solid; 
    border-width:        thin; 
    padding:             10px; 
    background:          white; 
    text-align:          left;
    margin-left:         5%;
    margin-right:        20%;
    border-width:        2pt;
    border-style:        outset;
    border-color:        black;
    padding-top:         2%;
    padding-right:       2%;
    padding-bottom:      2%;
    padding-left:        2%;
    text-align:          left;
    white-space:         pre;
    background-color:    white;
    font-weight:         bold;
}

STRONG {
    color:               #ff2299;
}

# A {    text-decoration: none; }

# A:hover {    text-decoration: underline; }

DIV.contents {
    margin-left:       150px;
}


UL {
    list-style-type:     circle;
    list-style-position: outside;
}

LI 
{
    margin-top:          2px;
}

UL.menu { 
    float:               left;
    list-style-type:     none;
    border:              solid; 
    border-width:        thin; 
    padding-left:        10px; 
    padding-right:       10px; 
    padding-top:         5px; 
    padding-bottom:      5px; 
    background:          #f0f0f0;
    letter-spacing:      2px; 
    line-height:         20px; 
}

LI.menu-current
{
    font-weight:        bold;
}

UL.changelog {
    list-style-type:     square;
    list-style-position: outside;
    margin-bottom:       24px;
}

LI.changelog {
    margin-bottom:       24px;
}


DL {
    margin-left:         5%;
    margin-right:        10%;
}

DT {
    padding:             2px; 
    padding-left:        12px; 
    color:               #003300;
    background-color:    #ffddff;
}


DD {
    margin-bottom:       10pt
}


HR {
    width:               90%
}

HR.menu {
    width:               97%
}

HR.foot {
    width:               97%
}


PRE {
    margin-left:         5%;
    margin-right:        5%;
    font-size:           11pt;
    border-width:        2pt;
    border-style:        outset;
    border-color:        #66cccc;
    padding-top:         2%;
    padding-right:       2%;
    padding-bottom:      2%;
    padding-left:        2%;
    text-align:          left;
    white-space:         pre;
    background-color:    #eeeeee;
}


IMG {
    vertical-align:      middle;
}


ADDRESS {
    text-align:          center;
}

H2 {
    margin-top:          32px;
}