/* @option theme menu width*/

#myjquerymenu {
	width: 900px;
}