div.suggestions
{
	-moz-box-sizing: border-box;
	-webkit-tap-highlight-color:rgba(0,0,0,0);
	box-sizing: border-box;
	background-color: white;
	border: 1px solid black;
	position: absolute;
}

div.suggestions div
{
	cursor: default;
	padding: 6px;
	font-family: Verdana,Arial,sans-serif;
	font-size: 12px;
}

div.suggestions div.highlight
{
	background-color: #ffc;
}
div.suggestions div.current
{
	background-color: #36c;
	color: white;
}
div.suggestions div .user_input
{
	font-weight: bold;
	pointer-events: none;
}