#floatmenu{ position:    absolute;
            top:         5px;
            left:        5px;
            z-index:     5;
            visibility:  visible;
}

BODY{       margin-top: 5px;
            margin-bottom: 5px;
            margin-right: 5px;
            margin-left: 130px;
}

.menudiv {
          display:none;
}

div.menu { 
 width:       120px;
 background:  #333399;
 color:       #FFFFCC;
 margin:      0em;
 border:      1px solid #000;
 font-family: Verdana, Arial, Helvetica, sans-serif;
 font-size:   12px;
}

div.menu a {
 display:         block;
 margin:          0;
 width:           auto;
 padding-top:     2px;
 padding-bottom:  2px;
 padding-left:    12px;
 padding-right:   4px;
 text-indent:     -8px;
 border:          1px solid #000;
 background:      #FFFFCC;
 color:           #333399;
 text-decoration: none;
 font-family:     Verdana, Arial, Helvetica, sans-serif;
 font-weight:     bold;
}

div.menu a:visited, div.menu a:link {
 background:      #333399;
 color:           #FFFFCC;
 font-weight:     normal;
}

div.menu a:hover {
 text-decoration: none;
 background:  #FFFFCC;
 color:       #333399;
}