div.drillmenu{ /* main DIV container of menu */
/*border: 2px solid black;*/
width: 182px; /*width of menu*/
height: 200px; /*Height of DIV for those with JavaScript disabled*/
overflow-y: scroll; /*Scrollable DIV for those with JavaScript disabled*/
/*background: lightyellow; /*background of menu.*/
}


div.drillmenu ul{ /*menu ULs*/
font: normal 13px Verdana;
margin: 0;
padding: 0;
list-style-type: none;
/*background: lightyellow; /*background of menu*/
}
/*div.drillmenu li {
background-image: url(../img/puce_miss.gif);
background-repeat: no-repeat;
background-position: 0 0.6em;
padding-left: 0.9em;
}*/
div.drillmenu li a{ /*menu links*/
display: block;
color: black;
text-decoration: none;
padding: 5px 8px 5px 5px;
}

* html div.drillmenu li{ /*IE6 CSS hack*/
display: inline-block;
}

div.drillmenu li a:hover{
background-color: #8c999b;
color: white;
}
div.drillmenu li.visit{
display: block;
padding: 5px;
background-color: #b6c0c1;
text-decoration: none;
font-size: 0.9em;
font-weight: bold;
line-height: 1.4em;
}
li.backcontroltitle{ /*style of top level menu title*/
background: black;
color: white;
padding: 4px;
}

li.backcontrol{ /*style of back button control that gets added to the top of each sub UL*/
background: #011054;
color: white;
padding: 4px;
cursor: hand;
cursor: pointer;
}

#drillcrumb{ /*custom, user defined DIV that contains breadcrumb trail*/
font-weight: bold;
height: auto;
line-height: 1.6em;
}

#drillcrumb a{ /*custom element*/
color: #003743;
font-weight: normal;
}

div.otrmenu{ /* main DIV container of menu */
/*border: 2px solid black;*/
width: 182px; /*width of menu*/
/*height: 80px; /*Height of DIV for those with JavaScript disabled*/
/*overflow-y: scroll; /*Scrollable DIV for those with JavaScript disabled*/
/*background: lightyellow; /*background of menu.*/
}


div.otrmenu ul{ /*menu ULs*/
font: normal 13px Verdana;
margin: 0;
padding: 12px 0;
list-style-type: none;
/*background: lightyellow; /*background of menu*/
}
/*div.otrmenu li {
background-image: url(../img/puce_miss.gif);
background-repeat: no-repeat;
background-position: 0 0.6em;
padding-left: 0.9em;
}*/
div.otrmenu li a{ /*menu links*/
display: block;
color: black;
text-decoration: none;
padding: 5px;
}

* html div.otrmenu li{ /*IE6 CSS hack*/
display: inline-block;
}

div.otrmenu li a:hover{
background-color: #8c999b;
color: white;
}
div.otrmenu li.visit{
display: block;
padding: 5px;
background-color: #b6c0c1;
text-decoration: none;
font-size: 0.9em;
font-weight: bold;
line-height: 1.4em;
}