#menu,
#menu_button {
	display: none;
}
.mobile {
	display: none !important;
}

@media (max-width: 740px) {
	.desktop {
		display: none !important;
	}
	.mobile {
		display: initial !important;
	}
	#java_disclaimer,
	#popup_curtain {
		display: none !important;
	}
	#nav {
		overflow: hidden;
	}
	#nav.extend {
		height: 100%;
	}
	#nav ul {
		display: none;
	}
	#menu_button {
		display: block;
		position: absolute;
		right: 18px;
		top: 28px;
		height: 20px;
	}
	#menu {
		display: block;
		width: 100%;
		box-sizing: border-box;
		padding-top: 80px;
	}
	#menu ul {
		display: inline;
	}
	#menu ul li {
		width: 100%;
		padding: 0;
		margin: 20px 0;
	}
}