/* 
Change width of the jump menu
*/
#jumpMenu {
	
	width: 192px;
}