#launcher div
{
	margin-top: 16px;
}

#launcher div:first-child
{
	margin-top: 0;
}

#launcher input
{
	width: 100%;
	box-sizing: border-box;
	font-size: 13px;
	line-height: 1em;
	padding: 16px;
	height: 45px;
}