Snippets

main.css : removed useless rgba; added OpenSans and some doc style
autocomplete.js : doc is functionnal, some minor bug fixes
search.js : add an option to avoid highlighting