div.suggestions {
    -moz-box-sizing: border-box;
    box-sizing: border-box;
    border: 1px solid rgb(0,0,0);
    position: absolute;
    background-color: white;
    color: black;
	z-index:3;
    font: 11 monospace	
}

div.processing {    
    border: 0px solid rgb(225,820,100);
    position: absolute;
    background-color: transparent;
}

div.suggestions div {
    cursor: default;
    padding:0px 2px;
}

div.suggestions div.current {
    background-color: blue;
    color: white;
}