a .alt { display: none; }

a:link, a:visited
{
    color: #25AAE1;
    text-decoration: none;
}
a:hover
{
    color: #25AAE1;
    text-decoration: underline;
}

a#vanilla
{
    color: white;
    text-decoration: underline;
}

a#vanilla:hover
{
    color: white;
    text-decoration: underline;
}
a#menulink
{
    color: white;
    font-size: 11pt;
    text-decoration: none;
}

a#menulink:hover {
    background: none;
}

a#menulink_onpage
{
    color: #25AAE1;
    font-size: 11pt;
    text-decoration: none;
}

a#menulink_onpage:hover {
    background: none;
    color: white;
}


body
{
    font: 12px Arial, Helvetica, sans-serif, Bitstream Vera Sans;
    font-size:              10pt;
    text-align:             left;
    background-color:       #969696;
    background-position:    top left;
    background-repeat:      no-repeat;
    margin-top:  10px;
    margin-left: 1em;
    
    color: #707070;
}

p
{
    margin-left: 1em;
    margin-right: 1em;
    margin-top: 1em;
    margin-bottom: 0;
    background-color: transparent;
    font-size:              10pt;
    text-align: justify;
}

p#vanilla
{
    margin-left: 0em;
    margin-right: 0em;
    margin-top: 0em;
    margin-bottom: 0;
    background-color: transparent;
    font-size: 21pt;
}


h1
{
    text-align: left;
    color: black;
	font-weight: bold;
    font-size: 11pt;
}
h2, h3, h4, h5, h6
{
    text-align: left;
    color: black;
	font-weight: bold;
    font-size: 10pt;
}
tt
{
    font-size:      1.0em;
    font-weight:    bold;
}
dt
{
    font-weight:    bold;
}
code
{
    color:          rgb(255, 0, 0);
    font-family:    sans-serif;
    font-size:      80%;
    font-style:     normal;
}

#navigation
{
    position: fixed;
    margin-left: 0em;
    left:               0em;
    top:                13em;
}

#navigation ul
{
    list-style-type: circle; 
    margin-left:        0.5em;
    padding-left:       0.5em;
    list-style-type:    disc;
}


tr.getmenulink {
    background-color: #25AAE1;
}

tr.getmenulink:hover {
    background-color: #2CB2E8;
}


td.menulink{
    background-color: #767779;
}

td.menulink:hover {
    background-color: #25AAE1;
    color: white;
}

td.menulink_onpage {
    color: #25AAE1;
    font-size: 11pt;
    text-decoration: none;
}

td.menulink_onpage:hover {
    color: white;
    background-color: #25AAE1;
}


table.selector{
    border: 0px solid; 
    border-collapse:collapse;
}
tr.selector{
    border-top: 1px solid;
    border-bottom: 1px solid;
    border-left: 0px solid;
    border-right: 0px solid;
    margin-top: 3px;
    border-color: #A982C0;
    border-style: dotted;
}