No entiendo porqué tienes problemas con esos div y no con el global que tiene ancho de 900px.
Si los bordes van a ser los dos exteriores, puedes encerrar los divs flotantes dentro de otro div al que le des el borde derecho e izquierdo de 1px. No habrá diferencia entre eso y darle el borde a los contenedores flotantes.
Código CSS:
Ver original#cont_menu{
border-left: 1px solid #000000;
border-right: 1px solid #000000;
overflow: auto;
}
No sé si era lo que buscabas. Se me ocurren otras soluciones pero parecen más complicadas de explicar.