div.menu {
    position: relative;
    left: 0px;
    margin-top: 30px;
    width: 160px;
    background-color: #424a43;
    /*background-color: black;*/
    color: white;
    margin-left:0px;
    margin-right:0px;
    padding-right:0px;
    padding-left:0px;
	padding-top:5px;
}

div.menu a {
    color: white;
    font-size:medium;
    text-decoration:none;
    padding-left: 15px;
}

div.menu li {
    margin-bottom:5px;
    margin-top:0px;
    margin-left:0px;
    margin-right:0px;
}

div.menu li:hover {
    background-color:#b70012;
}

div.menu li.selected {
    background-color:#b70012;
}


#currentMenu {
    background-color:#b70012;
    width: 100%;
}

div.menu ul {
    background-color: #424a43;
    list-style-position:inside;
    list-style-type:none;
    padding-left: 0px;
    padding-right: 0px;
    margin-left:0px;
    padding-top:0px;
    margin-right:0px;
    margin-top: 0px;
}

#menuGeneral li{
    margin-left:0px;
    padding-right:0px;
}

#menuHistory{
	padding-top: 10px;	
}

#menuHistory h3 {
    padding-top:5px;
    font-size:medium;
    font-weight:normal;
    padding-bottom:5px;
    margin-left:0px;
    padding-right:0px;
}

#menuHistory h3:hover {
    background-color:#b70012;
    width: 100%;
}

#menuHistory li {
    color: #929a93;
    padding-left:15px;
}

#menuHistory li:hover {
    background-color: #98a099;
    color: #626a63;
    padding-left:15px;
}

#menuHistory a{
    color: inherit;
}

#menuHistory a:hover{
    color: inherit;
}