Buscar Búsqueda instantánea en todo el repositorio. Funciona sin servidor: el índice se genera al publicar. La búsqueda necesita JavaScript. También puedes navegar por las secciones del menú.