/* résultats de la recherche (search.js), couleurs héritées du thème */
.search-results a { display: block; padding: 6px 0; border-bottom: 1px solid rgba(128, 128, 128, .3); text-decoration: none; }
.search-results span { display: block; font-size: .85em; opacity: .85; }
.search-results mark { background: none; color: inherit; font-weight: 700; }
/* glob : la liste déroulante de recherche ne s'ouvre qu'au survol ; elle reste ouverte pendant la saisie */